Manage | Anaconda.org

main / packages / cryptominisat

0

An advanced SAT Solver https://www.msoos.org

Filters

Type	Size	Name	Uploaded	Downloads	Labels
conda	1.1 MB	\| linux-s390x/cryptominisat-5.6.6-h010bc1a_2.tar.bz2	2 years and 10 months ago	6	main
conda	106.0 kB	\| osx-64/cryptominisat-5.6.6-h2277d59_2.tar.bz2	2 years and 10 months ago	13	main
conda	1.1 MB	\| linux-ppc64le/cryptominisat-5.6.6-hbfed935_2.tar.bz2	2 years and 10 months ago	5	main
conda	106.0 kB	\| osx-64/cryptominisat-5.6.6-h2277d59_1.tar.bz2	2 years and 11 months ago	13	main
conda	1.1 MB	\| linux-s390x/cryptominisat-5.6.6-h010bc1a_1.tar.bz2	2 years and 11 months ago	7	main
conda	1.1 MB	\| linux-ppc64le/cryptominisat-5.6.6-hbfed935_1.tar.bz2	2 years and 11 months ago	6	main
conda	172.0 kB	\| win-32/cryptominisat-5.6.6-h22059a6_0.tar.bz2	4 years and 6 days ago	4	main
conda	115.6 kB	\| osx-64/cryptominisat-5.6.6-h7ed1ba6_0.tar.bz2	5 years and 6 days ago	19	main
conda	866.1 kB	\| linux-ppc64le/cryptominisat-5.6.6-h67712a4_0.tar.bz2	5 years and 6 days ago	8	main
conda	101.0 kB	\| win-32/cryptominisat-5.6.6-h4062798_0.tar.bz2	6 years and 1 month ago	10	main
conda	117.4 kB	\| osx-64/cryptominisat-5.6.6-h4781d98_0.tar.bz2	6 years and 1 month ago	19	main
conda	872.9 kB	\| linux-ppc64le/cryptominisat-5.6.6-h5d072ba_0.tar.bz2	6 years and 1 month ago	8	main