Searched refs:hyps_sat_raw (Results 1 - 2 of 2) sorted by last modified time
| /seL4-l4v-master/graph-refine/ |
| H A D | solver.py | 982 return self.hyps_sat_raw ([('(not %s)' % hyp, None)],
992 def hyps_sat_raw (self, hyps, model = None, unsat_core = None, member in class:Solver
1542 res = self.hyps_sat_raw (test_hyps, model = m,
1904 res = self.hyps_sat_raw (hyps, unsat_core = unsat_core)
|
| H A D | debug.py | 747 assert solv.hyps_sat_raw (hyps) == 'unsat', hyps
751 if solv.hyps_sat_raw (hyps + kept_hyps) != 'unsat':
753 assert solv.hyps_sat_raw (kept_hyps) == 'unsat', kept_hyps
|
Completed in 39 milliseconds