sambayless / monosat

MonoSAT - An SMT solver for Monotonic Theories

sambayless
sambayless
Date Created 2015-01-23 (10 years ago)
Commits 1,506 (last one 9 days ago)
Stargazers 111 (0 this week)
Watchers 12 (0 this week)
Forks 32
License mit
Ranking

RepositoryStats indexes 633,155 repositories, of these sambayless/monosat is ranked #286,181 (55th percentile) for total stargazers, and #173,379 for total watchers. Github reports the primary language for this repository as C++, for repositories using this language it is ranked #16,149/33,790.

sambayless/monosat is also tagged with popular topics, for these it's ranked: graph (#516/958)

Other Information

sambayless/monosat has Github issues enabled, there are 5 open issues and 15 closed issues.

There have been 6 releases, the latest one was published on 2017-03-27 (8 years ago) with the name 1.4.0.

All Topics
sat smt graph

Star History

Github stargazers over time

12012010010080806060404020200020162016201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

13131313131312.512.512121212121220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

9 commits on the default branch (master) since jan '22

99887766554433221100Jul '22Jul '2220232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Yearly Commits

Commits to the default branch (master) per year

400400350350300300250250200200150150100100505000201520152016201620172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
20201818161614141212101088664422002018201820192019202020202021202120222022202320232024202420252025

Languages

The primary language is C++ but there's also others...

C++C++JavaJavaPythonPythonCythonCythonCCCMakeCMakeScalaScala

updated: 2025-03-22 @ 10:22am, id: 29748191 / R_kgDOAcXr3w