msoos/minisat_emscripten msoos/minisat_emscripten

  • Stars
    star
    9
  • Rank 1,935,044 (Top 39 %)
  • Language
    C++
  • License
    Other
  • Created about 11 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
msoos/minisat_emscripten
github

msoos

Reviews

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

Repository Details

MiniSat 2.0 for Empscripten

More Repositories

1

cryptominisat

An advanced SAT solver
C++
730
star
2

grainofsalt

Grain of Salt equation generator
C
13
star
3

minisat-v1.14

MiniSat v1.14
C++
8
star
4

cryptominisat_web

Onine version of the solver
JavaScript
5
star
5

sat_competition_2013_sources

SAT Competition 2013 Source Archives
4
star
6

3dVis

3dVis by Carsten Sinz
C++
3
star
7

lingeling-ala

lingeling-ala SAT solver
C
3
star
8

fuzzsmt

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

sat_competition_2014_sources

SAT Competition 2014 Source Archives
2
star
10

cominisatps

C++
2
star
11

walksat

C++
2
star
12

sharpsat-td

Copy of SharpSAT-td
C++
1
star
13

painless-satcomp2020

The painless parallel SAT solver as submitted to the SAT Competition 2020
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