Leander Tentrup (@ltentrup)
github

ltentrup

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    67
  • Global Rank 277,624 (Top 10 %)
  • Followers 15
  • Following 2
  • Registered almost 15 years ago
  • Most used languages
    Rust
         30.0 %
    C
         20.0 %
    C++
         20.0 %
    Python
         10.0 %
    SMT     10.0 %
    Swift
         10.0 %

Top repositories

1

caqe

CAQE is a solver for quantified Boolean formulas
Rust
29
star
2

quabs

QuAbS is a circuit-based QBF solver
C
9
star
3

MiniSat

Swift Bindings for MiniSat
C++
7
star
4

booleanium

An experimental QBF solver
Rust
5
star
5

SafetySynth

A symbolic safety game solver written in Swift
Swift
5
star
6

QAIGER

AIGER format for Quantified Boolean Formulas
3
star
7

libsolve

A collection of data structures and SAT solver interfaces for writing solvers
C
2
star
8

SATSolver

A SAT Solver Interface for the Swift Programming Language
C++
2
star
9

telo

Rust
2
star
10

bosy

SMT
1
star
11

dblp-cli

A command line tool for fetching bibtex entries from dblp.org
Python
1
star