Armin Biere (@arminbiere)
github

arminbiere

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    909
  • Global Rank 33,601 (Top 2 %)
  • Followers 181
  • Following 3
  • Registered over 8 years ago
  • Most used languages
    C
         85.7 %
    C++
         14.3 %
  • Location πŸ‡¦πŸ‡Ή Austria
  • Country Total Rank 227
  • Country Ranking
    C
         24
    C++
         30

Top 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

yalsat

C
6
star
9

cadiback

CaDiCaL BackBone Analyzer
C++
5
star
10

dualiza

C
4
star
11

scranfilize

Tunable Scrambler for CNFs
C
3
star
12

satsort

C
3
star
13

smvflatten

Tool to bit-blast SMV models
C
1
star
14

cnf2xnf

XNF Extractor
C
1
star