smt

quantifier-free formulas

bit-vectors

sort declarations

bit-vector arrays

Matěj Schrödl

Matěj Schrödl
matej.schrodl@gmail.com

schrodlm
schrodlmm

This is a place to share interesting knowledge from computer-science I managed to gather and also a place to log my thought processes from my past and ongoing projects.