Searched refs:solver (Results 1 - 6 of 6) sorted by relevance
| /pkg/src/modules/solver/ |
| H A D | solver.h | 65 typedef struct solver_t solver; typedef in typeref:struct:solver_t
67 extern solver* solver_new(void);
70 extern solver* solver_copy(solver* s);
73 extern void solver_delete(solver* s);
75 extern bool solver_addclause(solver* s, lit* begin, lit* end);
76 extern bool solver_simplify(solver* s);
77 extern bool solver_solve(solver* s, lit* begin, lit* end);
79 extern int solver_nvars(solver* s);
80 extern int solver_nclauses(solver*
[all...] |
| H A D | solver.c | 26 #include "solver.h"
104 static inline int solver_dlevel(solver* s) { return veci_size(&s->trail_lim); }
105 static inline vecp* solver_read_wlist (solver* s, lit l){ return &s->wlists[l]; }
132 static inline void order_update(solver* s, int v) // updateorder
153 static inline void order_assigned(solver* s, int v)
157 static inline void order_unassigned(solver* s, int v) // undoorder
167 static int order_select(solver* s, float random_var_freq) // selectvar
234 static inline void act_var_rescale(solver* s) {
242 static inline void act_var_bump(solver* s, int v) {
254 static inline void act_var_decay(solver*
[all...] |
| H A D | py_solver.c | 31 #include "solver.h"
194 solver *msat_instance;
213 "solver.msat_solver", /*tp_name*/
290 * to be passed in to initialize the new solver
533 "Reset solver after solution failure"},
564 "solver",
581 m = Py_InitModule3("solver", no_module_methods,
582 "MINISAT SAT solver module");
|
| /pkg/src/tests/api/ |
| H A D | t_solver.py | 32 import pkg.solver as solver namespace
45 s = solver.msat_solver()
55 # create new copy of solver instance to test copy code
56 n = solver.msat_solver(s)
57 del s # force gc of old solver instance
|
| /pkg/src/modules/client/ |
| H A D | imageplan.py | 173 # make sure we init this even if we don't call solver
417 """Run the solver, and if it fails, optionally retry the
421 # have the solver try to satisfy parent dependencies.
452 """Add a single actuator to the solver 'solver_inst' and update
479 # the solver. Otherwise we might trim on the installed version
528 them to the solver instance specified by 'solver_inst'. 'op'
581 """Use the solver to determine the fmri changes needed to
596 # the solver is not necessary.
642 # instantiate solver
643 solver
[all...] |
| H A D | pkg_solver.py | 46 import pkg.solver namespace
121 """Provides a SAT-based solution solver to determine which packages
137 # check if we're allowed to use the solver
139 raise RuntimeError("no_solver set, but solver invoked")
193 self.__solver = pkg.solver.msat_solver()
224 # set of stems avoided by solver due to dependency constraints
226 # intentionally starts empty for every new solver invocation and
295 """Discards all solver information except for that needed to
296 show failure information or to stringify the solver object.
355 """Mark the end of a solver subphas
[all...] |
Completed in 29 milliseconds