A simple BDD library for the C language
Why do you think that https://github.com/lxi-tools/lxi-tools is a good alternative to bdd-for-c
A simple BDD library for the C language
Why do you think that https://github.com/lxi-tools/lxi-tools is a good alternative to bdd-for-c