Files | Anaconda.org

If you were automatically logged out you may need to refresh the page. You're trying to access a page that requires authentication. ×

conda-forge / packages / cryptominisat

0

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

copied from cf-staging / cryptominisat

Filters

	Type	Size	Name	Uploaded	Downloads	Labels
	conda	564.1 kB	\| osx-64/cryptominisat-5.6.5-py36h6dae8d9_0.tar.bz2	6 years and 8 months ago	383	main cf202003 cf201901
	conda	6.3 MB	\| linux-64/cryptominisat-5.6.5-py27h6dae8d9_0.tar.bz2	6 years and 8 months ago	4706	main cf202003 cf201901
	conda	553.6 kB	\| osx-64/cryptominisat-5.6.5-py37h6dae8d9_0.tar.bz2	6 years and 8 months ago	374	main cf202003 cf201901
	conda	549.9 kB	\| osx-64/cryptominisat-5.6.5-py27h6dae8d9_0.tar.bz2	6 years and 8 months ago	377	main cf202003 cf201901
	conda	6.3 MB	\| linux-64/cryptominisat-5.6.5-py37h6dae8d9_0.tar.bz2	6 years and 8 months ago	4817	main cf202003 cf201901
	conda	6.3 MB	\| linux-64/cryptominisat-5.6.5-py36h6dae8d9_0.tar.bz2	6 years and 8 months ago	4759	main cf202003 cf201901
	conda	557.2 kB	\| osx-64/cryptominisat-5.6.5-py36he941832_0.tar.bz2	7 years and 20 days ago	376	main cf202003 cf201901
	conda	557.3 kB	\| osx-64/cryptominisat-5.6.5-py35he941832_0.tar.bz2	7 years and 20 days ago	383	main cf202003 cf201901
	conda	6.3 MB	\| linux-64/cryptominisat-5.6.5-py27he941832_0.tar.bz2	7 years and 20 days ago	5023	main cf202003 cf201901
	conda	6.3 MB	\| linux-64/cryptominisat-5.6.5-py35he941832_0.tar.bz2	7 years and 20 days ago	5124	main cf202003 cf201901
	conda	6.3 MB	\| linux-64/cryptominisat-5.6.5-py36he941832_0.tar.bz2	7 years and 20 days ago	5271	main cf202003 cf201901
	conda	557.3 kB	\| osx-64/cryptominisat-5.6.5-py27he941832_0.tar.bz2	7 years and 20 days ago	383	main cf202003 cf201901

© 2025 Anaconda, Inc. All Rights Reserved. (v4.2.2) Legal | Privacy Policy