Home
last modified time | relevance | path

Searched refs:ARITH_SOLVER_SIMPLEX (Results 1 – 1 of 1) sorted by relevance

/dports/math/yices/yices-2.6.2/src/frontend/
H A Dyices_smt.c172 ARITH_SOLVER_SIMPLEX, enumerator
540 arith_solver = ARITH_SOLVER_SIMPLEX; in check_parameters()
1834 case ARITH_SOLVER_SIMPLEX: in process_benchmark()
1852 case ARITH_SOLVER_SIMPLEX: in process_benchmark()
1892 case ARITH_SOLVER_SIMPLEX: in process_benchmark()