niklasso/minisat

Releases2

Frequency3 years 1 week

Last Release almost 16 years ago

Stars1.17K

A minimalistic and high-performance SAT solver

Subscribe above to receive notifications when new versions are released.

	Version	Date	Stability Stability is determined by the version string and my be inaccurate.
	releases/2.2.0	Jul 10, 2010Saturday, 10 July 2010, 16:07	Stable
	releases/2.0	Jul 3, 2007Tuesday, 3 July 2007, 19:28	Stable