conp-solutions/riss conp-solutions/riss

  • Stars
    star
    8
  • Rank 2,093,017 (Top 42 %)
  • Language
    C++
  • License
    GNU Lesser Genera...
  • Created over 6 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
conp-solutions/riss
github

conp-solutions

Reviews

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

Repository Details

Riss SAT Solver

More Repositories

1

SpecSAT

Allow to benchmark hardware wrt sequential and parallel SAT solvers
Python
3
star
2

cnfmiter

tool to produce CNFs that certify equivalence of 2 input CNFs
C++
3
star
3

PCasso

Parallel SAT solver based on search space splitting
C++
3
star
4

summle-solver

Implement a solver for the math puzzles given on https://summle.net/, which allows to use verification tools for C programs.
C
1
star
5

minisat

Collect variants of the Minisat SAT solver (minisat.se), and modifications that have been proposed in SAT competitions
C++
1
star
6

satpin

Code of the Axiom Pinpointing tool for DL: SATPin
C++
1
star