microsat SAT solver - marijnheule

	VCS	#Forks	Repository
	GitHub	25	https://github.com/marijnheule/microsat

Contact information

Mail to Andreas Kupries