K
khorram
Guest
Nazdar,
Mám zájem o program, který lze převést RTL kódu slovo-SAT (pro použití na SMT solver) nebo CNF.Jakékoliv připomínky či návrhy budou ocení.
S pozdravem,
KH
Mám zájem o program, který lze převést RTL kódu slovo-SAT (pro použití na SMT solver) nebo CNF.Jakékoliv připomínky či návrhy budou ocení.
S pozdravem,
KH