Tomáš Peitl (@peitl)
github

peitl

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    5
  • Global Rank 1,435,387 (Top 50 %)
  • Followers 5
  • Following 1
  • Registered over 13 years ago
  • Most used languages
    Python
         66.7 %
    C++
         33.3 %
  • Location 🇦🇹 Austria
  • Country Total Rank 4,932
  • Country Ranking
    C++
         828
    Python
         1,054

Top repositories

1

short-proof

A SAT-based tool to compute shortest resolution proofs.
Python
3
star
2

experiments

Python
1
star
3

rrs

A tool to compute and analyze reflexive resolution-path dependencies of a QBF in the QDIMACS format.
C++
1
star