narteche

Donostia / San Sebastián

Pinned Repositories

ChenGenerator
A QBF instance generator written in Python for the so-called Chen Formulas of Type 1 and 2.
Language:Python2 0 00
narteche.github.io
My personal site.
Language:SCSS0 0 00
QBDef
A very general generator to create QBF instances in popular formats given the formal definition of a formula family.
Language:Python3 2 00
wasp_SE_course
Resources and student assignments for the WASP Software Engineering course
Language:TeX00
wasp_SE_course
Resources and student assignments for the WASP Software Engineering course
Language:TeX8 2 0134

narteche's Repositories

narteche/QBDef
A very general generator to create QBF instances in popular formats given the formal definition of a formula family.
Language:Python3 2 00
narteche/ChenGenerator
A QBF instance generator written in Python for the so-called Chen Formulas of Type 1 and 2.
Language:Python2 0 00
narteche/narteche.github.io
My personal site.
Language:SCSS0 0 00
narteche/wasp_SE_course
Resources and student assignments for the WASP Software Engineering course
Language:TeX00