Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT

Devs

Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT | Read Paper on Bytez