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	10 years and 8 months ago	98	main
	conda	593.6 kB	\| linux-64/minisat-plus-1.0-0.tar.bz2	10 years and 8 months ago	89	main