Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Monosat | 95 | a year ago | 2 | October 31, 2022 | 4 | mit | C++ | |||
MonoSAT - An SMT solver for Monotonic Theories | ||||||||||
Phpstats | 54 | 4 years ago | 9 | December 06, 2020 | 3 | mit | Go | |||
CLI Statistics and dependency graph for PHP | ||||||||||
Petrinetparser | 6 | 3 years ago | gpl-3.0 | Python | ||||||
A program to compute various Petri Net related things |