qed vs picosat

Compare qed and picosat's popularity and activity

Popularity

3.3

Declining

Activity

0.0

Stable

Popularity

6.7

Stable

Activity

0.0

Stable

qed		picosat
	Repository
3	Stars	16
4	Watchers	4
0	Forks	5
almost 9 years ago	Latest Version	-
almost 9 years ago	Last Commit	over 4 years ago
	More
-	Code Quality	L2
2	Monthly	19
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.

Interest over time of qed 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 5 Theorem Provers packages

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

Compare qed and picosat's popularity and activity

Interest over time of qed and picosat

More comparisons

qed

VS

picosat