Gbury / mSAT

A modular sat/smt solver with proof output.

Gbury
Gbury
Date Created 2014-10-29 (10 years ago)
Commits 736 (last one about a year ago)
Stargazers 99 (0 this week)
Watchers 13 (0 this week)
Forks 8
License apache-2.0
Ranking

RepositoryStats indexes 632,869 repositories, of these Gbury/mSAT is ranked #309,051 (51st percentile) for total stargazers, and #161,787 for total watchers. Github reports the primary language for this repository as OCaml, for repositories using this language it is ranked #341/734.

Gbury/mSAT is also tagged with popular topics, for these it's ranked: ocaml (#174/299)

Other Information

Gbury/mSAT has Github issues enabled, there are 7 open issues and 13 closed issues.

There have been 7 releases, the latest one was published on 2020-12-23 (4 years ago) with the name 0.9.

Homepage URL: https://gbury.github.io/mSAT/

Star History

Github stargazers over time

100100909080807070606050504040303020201010002015201520162016201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

14141414141413.513.513131313131320232023Jul '23Jul '2320242024Jul '24Jul '2420252025

Recent Commit History

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

887766554433221100Feb '24Feb '24Mar '24Mar '24Apr '24Apr '24May '24May '24Jun '24Jun '24Jul '24Jul '24Aug '24Aug '24Sep '24Sep '24Oct '24Oct '24Nov '24Nov '24Dec '24Dec '2420252025Feb '25Feb '25Mar '25Mar '25

Yearly Commits

Commits to the default branch (master) per year

25025020020015015010010050500020142014201520152016201620172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
202018181616141412121010886644220020162016201720172018201820192019202020202021202120222022202320232024202420252025

Languages

The primary language is OCaml but there's also others...

OCamlOCamlMakefileMakefileSMTSMTShellShellCommon LispCommon Lisp

updated: 2025-03-07 @ 09:53am, id: 25920171 / R_kgDOAYuCqw