Beast code in Giters

Niklas Sorensson's repositories

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION1001 48 26

The Pseudo-Boolean Solver MiniSat+

Language:C++NOASSERTION27 3 2

Haskell-Bindings to MiniSat

Language:Haskell13 4 6

A model checker based on SAT solving and induction

Language:C++13 4 1

Collection of examples for the MiniSat API

Language:C++NOASSERTION12 40

C-Bindings to MiniSat

Language:C++7 40

Simple circuit library for MiniSat

Language:C++NOASSERTION5 40

A CMake super-project of MiniSat related tools and libraries for easier building

Webpage for MiniSat

Language:HTML3 6 3