sambayless / monosat

MonoSAT - An SMT solver for Monotonic Theories

Date Created 2015-01-23 (9 years ago)

Commits 1,504 (last one about a year ago)

Stargazers 108 (0 this week)

Watchers 13 (0 this week)

Forks 30

License mit

Ranking

RepositoryStats indexes 596,972 repositories, of these sambayless/monosat is ranked #280,011 (53rd percentile) for total stargazers, and #166,884 for total watchers. Github reports the primary language for this repository as C++, for repositories using this language it is ranked #15,785/31,900.

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

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 (7 years ago) with the name 1.4.0.

All Topics

sat smt graph

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

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

Yearly Commits

Commits to the default branch (master) per year

Issue History

Languages

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

updated: 2024-11-27 @ 12:22pm, id: 29748191 / R_kgDOAcXr3w