niklasso/minisat-c-bindings niklasso/minisat-c-bindings

  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language
    C++
  • Created over 13 years ago
  • Updated almost 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
niklasso/minisat-c-bindings
github

niklasso

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

C-Bindings to MiniSat

More Repositories

1

minisat

A minimalistic and high-performance SAT solver
C++
985
star
2

minisatp

The Pseudo-Boolean Solver MiniSat+
C++
26
star
3

tip

A model checker based on SAT solving and induction
C++
13
star
4

minisat-haskell-bindings

Haskell-Bindings to MiniSat
Haskell
13
star
5

minisat-examples

Collection of examples for the MiniSat API
C++
12
star
6

supermini

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

mcl

Simple circuit library for MiniSat
C++
5
star
8

minisat-webpage

Webpage for MiniSat
HTML
3
star