Discover @peitl Open Source projects

Tomáš Peitl (@peitl)

peitl

Stars
5
Global Rank 1,431,742 (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++
838

Python
998

short-proof

A SAT-based tool to compute shortest resolution proofs.

experiments

rrs

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