atp-haskell vs picosat

Compare atp-haskell and picosat's popularity and activity

Popularity

6.9

Declining

Activity

0.0

Stable

Popularity

6.7

Declining

Activity

0.0

Stable

atp-haskell		picosat
	Repository
13	Stars	15
6	Watchers	3
3	Forks	5
about 4 years ago	Last Commit	about 2 years ago
	More
-	Code Quality	L2
27	Monthly	51
Haskell	Language	C
BSD 3-clause "New" or "Revised" License	License	MIT License
Logic, Theorem Provers	Tags	Logic

* Code Quality Rankings and insights are calculated and provided by Lumnify.
They vary from L1 to L5 with "L5" being the highest. Visit our partner's website for more details.

Deliver Cleaner and Safer Code - Right in Your IDE of Choice! Sponsored

SonarLint is a free and open source IDE extension that identifies and catches bugs and vulnerabilities as you code, directly in the IDE. Install from your favorite IDE marketplace today.

Interest over time of atp-haskell and picosat

Note: It is possible that some search terms could be used in multiple areas and that could skew some graphs.

The line chart is based on worldwide web search for the past 12 months.
If you don't see the graphs
either there isn't enough search volume
or you need to refresh the page

More comparisons

View all 22 Logic packages

Do not miss the trending Haskell projects and news
» Subscribe to our newsletter «

atp-haskell VS picosat

Compare atp-haskell and picosat's popularity and activity

Interest over time of atp-haskell and picosat

More comparisons

atp-haskell

VS

picosat