Software Map

Project Tree

Now limiting view to projects in the following categories:
Environment :: Console (Text Based) [Remove This Filter]
Operating System :: POSIX [Remove This Filter]
Programming Language :: C++ [Remove This Filter]

Development Status > 5 - Production/Stable	Browse By: Development Status Environment Intended Audience Kind License Natural Language Operating System Programming Language Research center Topic

1 project in result set.

CryptoMiniSat - CryptoMiniSat is a state-of-the-art SAT solver incorporating many ideas. For a list, please visit http://www.msoos.org/2013/04/cryptominisat-3-0-released/ The source is available on github: https://github.com/msoos/cryptominisat

Development Status : 5 - Production/Stable[Filter]
Environment : Console \(Text Based\) (Now Filtering)
Intended Audience : End Users/Desktop[Filter]
Kind : Software[Filter]
License : OSI Approved : MIT/X Consortium License[Filter]
Natural Language : English[Filter]
Operating System : MacOS[Filter]
Operating System : Microsoft[Filter]
Operating System : POSIX (Now Filtering)
Programming Language : C\+\+ (Now Filtering)
Topic : Scientific/Engineering : Artificial Intelligence[Filter]

Activity Percentile: 74.75

Registered: 2009-05-14 08:56