Collect variants of the Minisat SAT solver (minisat.se), and modifications that have been proposed in SAT competitions - conp-solutions

	VCS	#Forks	Repository
	GitHub	0	https://github.com/conp-solutions/minisat-2

Contact information