Files | Anaconda.org

asmeurer / packages / minisat-plus

0

MiniSat+ is a two-week hack done to enable Pseudo-Boolean constraints in MiniSat.

Filters

	Type	Size	Name	Uploaded	Downloads	Labels
	conda	1.3 MB	\| linux-64/minisat-plus-1.0-1.tar.bz2	11 years and 3 days ago	99	main
	conda	593.6 kB	\| linux-64/minisat-plus-1.0-0.tar.bz2	11 years and 3 days ago	90	main