Tags : Browse Projects

Select a tag to browse associated projects and drill deeper into the tag cloud.

MiniSat

Compare

  Analyzed 1 day ago

MiniSat is a minimalistic, open-source SAT solver, developed to help researchers and developers alike to get started on SAT. It is released under the MIT licence, and is currently used in a number of projects (see "Links"). On this page you will find binaries, sources, documentation and projects ... [More] related to MiniSat, including the Pseudo-boolean solver MiniSat+ and the CNF minimizer/preprocessor SatELite. Together with SatELite, MiniSat was recently awarded in the three industrial categories and one of the "crafted" categories of the SAT 2005 competition. [Less]

3.45K lines of code

0 current contributors

over 10 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This
Licenses: No declared licenses
Tags sat

PL241 MCS Compiler

Compare

  Analyzed about 24 hours ago

Compiler written to use as a reference to others who write real compilers. The emphasis is here on readability of code than anything else. It is written in Python for this very same reason. And even trivial things are commented or documented. The idea is that one who wants to write a compiler ... [More] should be able to use this as a reference to get started and then write their compiler as efficiently as they want. [Less]

5.57K lines of code

0 current contributors

almost 12 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This

ScavengerProver

Compare

  Analyzed about 7 hours ago

Scavenger is an automated theorem prover based on the new conflict resolution calculus, which lifts some aspects of the conflict-drive clause learning approach used by sat-solvers to logics with quantifiers.

5.2K lines of code

0 current contributors

about 3 years since last commit

0 users on Open Hub

Inactive
0.0
 
I Use This
Licenses: No declared licenses