msoos/painless-satcomp2020 msoos/painless-satcomp2020

  • Stars
    star
    1
  • Language
    C++
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
msoos/painless-satcomp2020
github

msoos

Reviews

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

Repository Details

The painless parallel SAT solver as submitted to the SAT Competition 2020

More Repositories

1

cryptominisat

An advanced SAT solver
C++
730
star
2

grainofsalt

Grain of Salt equation generator
C
13
star
3

minisat_emscripten

MiniSat 2.0 for Empscripten
C++
9
star
4

minisat-v1.14

MiniSat v1.14
C++
8
star
5

cryptominisat_web

Onine version of the solver
JavaScript
5
star
6

sat_competition_2013_sources

SAT Competition 2013 Source Archives
4
star
7

3dVis

3dVis by Carsten Sinz
C++
3
star
8

lingeling-ala

lingeling-ala SAT solver
C
3
star
9

fuzzsmt

SMT fuzzers by Robert Brummayer and Trevor Hansen
Java
2
star
10

sat_competition_2014_sources

SAT Competition 2014 Source Archives
2
star
11

cominisatps

C++
2
star
12

walksat

C++
2
star
13

sharpsat-td

Copy of SharpSAT-td
C++
1
star
14

yalsat

yalsat by Armin Biere, improved to add support for large problems
C
1
star
15

avx1int

AVX version 1 has some integer capabilities (XOR, AND, etc.) This class makes these features easier to use
C++
1
star
16

drat-trim

Marijn Heule's DRAT-TRIM with some modifications
C++
1
star
17

model-counting-comp-2022

The binaries and the PDF of the Model Counting Competition of 2022
C++
1
star
18

Maple_LCM_Dist

Maple_LCM_Dist as per SAT Competition 2017
C++
1
star
19

picosat

PicoSAT with makefile that can also install
C
1
star