Software Map

Project Tree

Now limiting view to projects in the following categories:
License :: OSI Approved :: MIT/X Consortium License [Remove This Filter]
Development Status :: 5 - Production/Stable [Remove This Filter]
Operating System :: MacOS [Remove This Filter]
Intended Audience :: End Users/Desktop [Remove This Filter]

Operating System > POSIX AIX (2 projects) BSD (3 projects) GNU/Hurd (0 projects) GNU/Linux (203 projects) HP-UX (0 projects) IRIX (0 projects) Other (1 projects) SCO (0 projects) SunOS/Solaris (2 projects)	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 (Now Filtering)
Environment : Console \(Text Based\)[Filter]
Intended Audience : End Users/Desktop (Now Filtering)
Kind : Software[Filter]
License : OSI Approved : MIT/X Consortium License (Now Filtering)
Natural Language : English[Filter]
Operating System : MacOS (Now Filtering)
Operating System : Microsoft[Filter]
Operating System : POSIX[Filter]
Programming Language : C\+\+[Filter]
Topic : Scientific/Engineering : Artificial Intelligence[Filter]

Activity Percentile: 83.19

Registered: 2009-05-14 08:56