arminbiere/yalsat arminbiere/yalsat

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    C
  • License
    MIT License
  • Created over 2 years ago
  • Updated almost 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
arminbiere/yalsat
github

arminbiere

Reviews

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

Repository Details

More Repositories

1

kissat

C
377
star
2

cadical

CaDiCaL SAT Solver
C++
358
star
3

satch

SAT Solver SATCH
C
91
star
4

lingeling

Lingeling SAT Solver
C
86
star
5

aiger

AIGER And-Inverter-Graph Library
C
56
star
6

gimsatul

C
26
star
7

runlim

C
12
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