Mate Soos (@msoos)
github

msoos

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    809
  • Global Rank 37,384 (Top 2 %)
  • Followers 206
  • Following 10
  • Registered over 12 years ago
  • Most used languages
    C++
         66.7 %
    C
         22.2 %
    JavaScript
         5.6 %
    Java
         5.6 %
  • Location 🇩🇪 Germany
  • Country Total Rank 1,976
  • Country Ranking
    C++
         156
    C
         1,501
    Java
         9,365
    JavaScript
         9,562

Top 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

avx1int

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

drat-trim

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

model-counting-comp-2022

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

Maple_LCM_Dist

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

picosat

PicoSAT with makefile that can also install
C
1
star