Friedrich Slivovsky (@fslivovsky)
github

fslivovsky

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    22
  • Global Rank 603,566 (Top 21 %)
  • Followers 8
  • Registered over 10 years ago
  • Most used languages
    C++
         83.3 %
    C
         16.7 %
  • Location πŸ‡²πŸ‡½ Mexico
  • Country Total Rank 2,665
  • Country Ranking
    C++
         47
    C
         471

Top repositories

1

qute

Qute: a dependency learning QBF solver.
C++
12
star
2

pedant-solver

A DQBF solver leveraging definability.
C++
5
star
3

unique

A tool for extracting unique Skolem (and Herbrand) functions of Quantified Boolean Formulas using propositional interpolation.
C++
2
star
4

miniQU

A QCDCL Solver based on MiniSAT
C++
1
star
5

minisat

MiniSAT with Interpolant Generation
C++
1
star
6

ferpmodels

FERPModels with Strategy Extraction by Interpolation
C
1
star