msoos/avx1int msoos/avx1int

  • Stars
    star
    1
  • Language
    C++
  • Created almost 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
msoos/avx1int
github

msoos

Reviews

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

Repository Details

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

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

painless-satcomp2020

The painless parallel SAT solver as submitted to the SAT Competition 2020
C++
1
star
15

yalsat

yalsat by Armin Biere, improved to add support for large problems
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