narteche's Stars
thorehusfeldt/edan55-labs
Lab exercises for EDAN 55 (Advanced Algorithms, Lund University)
narteche/ChenGenerator
A QBF instance generator written in Python for the so-called Chen Formulas of Type 1 and 2.
narteche/QBDef
A very general generator to create QBF instances in popular formats given the formal definition of a formula family.