Path: blob/master/src/sage/sat/solvers/cryptominisat/solverconf.pxd
8823 views
############################################################################## # Copyright (C) 2012 Martin Albrecht <[email protected]> # Distributed under the terms of the GNU General Public License (GPL) # The full text of the GPL is available at: # http://www.gnu.org/licenses/ ############################################################################## from sage.sat.solvers.cryptominisat.decl cimport SolverConf as SolverConfC cdef extern from "solverconf_helper.h": ctypedef enum sc_type: t_int t_float t_double t_Var t_bool t_uint32_t t_uint64_t ctypedef struct sc_entry "sc_entry": char *name sc_type type void *target char *doc size_t setup_map(sc_entry *entries, SolverConfC conf, Py_ssize_t n) cdef class SolverConf: cdef SolverConfC *_conf cdef sc_entry[100] _map cdef Py_ssize_t _nopts