You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently S2E is build with STP and Minisat. Other configurations for SAT solvers would be nice to try and benchmark, i.e., Z3, or STP with Cryptominisat. This requires some changes to S2E's build system (Makefile).
Currently S2E is build with STP and Minisat. Other configurations for SAT solvers would be nice to try and benchmark, i.e., Z3, or STP with Cryptominisat. This requires some changes to S2E's build system (Makefile).