arminbiere/satch arminbiere/satch

  • Stars
    star
    91
  • Rank 366,013 (Top 8 %)
  • Language
    C
  • License
    MIT License
  • Created almost 4 years ago
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
arminbiere/satch
github

arminbiere

Reviews

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

Repository Details

SAT Solver SATCH

More Repositories

1

kissat

C
377
star
2

cadical

CaDiCaL SAT Solver
C++
358
star
3

lingeling

Lingeling SAT Solver
C
86
star
4

aiger

AIGER And-Inverter-Graph Library
C
56
star
5

gimsatul

C
26
star
6

runlim

C
12
star
7

yalsat

C
6
star
8

cadiback

CaDiCaL BackBone Analyzer
C++
5
star
9

dualiza

C
4
star
10

scranfilize

Tunable Scrambler for CNFs
C
3
star
11

satsort

C
3
star
12

smvflatten

Tool to bit-blast SMV models
C
1
star
13

cnf2xnf

XNF Extractor
C
1
star