fxreichl

University of FreiburgFreiburg

Pinned Repositories

ciops
A Boolean circuit minimizer
Language:Python82
eSLIM
A Boolean circuit minimizer
Language:Python30
abc-eslim
Language:C00
pedant
Pedant is a state of the art solver for dependency quantified Boolean formulas (DQBFs).
Language:Python00
Pedant-QBFEVAL22
Language:Shell00
QBFGallery-2023
00
synthesis-qbf-encodings
00
pedant-solver
A DQBF solver leveraging definability.
Language:C++80

fxreichl's Repositories

fxreichl/ciops
A Boolean circuit minimizer
Language:Python7 2 01
fxreichl/eSLIM
A Boolean circuit minimizer
Language:Python3
fxreichl/pedant
Pedant is a state of the art solver for dependency quantified Boolean formulas (DQBFs).
Language:Python
fxreichl/Pedant-QBFEVAL22
Language:Shell
fxreichl/QBFGallery-2023
fxreichl/synthesis-qbf-encodings