» Experiments :: AIGER Synthesis Sequential :: Solver Configurations

Solver configurations used in the experiment

Name Solver
LazySynt LazySynt Results
LazySynt (genDel) LazySynt Results