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 107 (0 this week)

Watchers 13 (0 this week)

Forks 30

License mit

Ranking

RepositoryStats indexes 585,332 repositories, of these sambayless/monosat is ranked #277,929 (53rd percentile) for total stargazers, and #165,701 for total watchers. Github reports the primary language for this repository as C++, for repositories using this language it is ranked #15,646/31,307.

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

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-15 @ 11:04am, id: 29748191 / R_kgDOAcXr3w