Skip to content

Provide JavaSMT main to execute as solver for SMT-COMP - #710

Open
gcarpio21 wants to merge 24 commits into
masterfrom
provide_javasmt_main_to_execute_as_solver_for_smt-comp
Open

Provide JavaSMT main to execute as solver for SMT-COMP#710
gcarpio21 wants to merge 24 commits into
masterfrom
provide_javasmt_main_to_execute_as_solver_for_smt-comp

Cmdline: launcher now gives priority to the jar if present, picks bin…

d9112e9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar