Home
last modified time | relevance | path

Searched defs:solver_ref (Results 1 – 3 of 3) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/solver/
H A Dsolver.h337 typedef ref<solver> solver_ref; typedef
/dports/math/py-z3-solver/z3-z3-4.8.10/src/solver/
H A Dsolver.h327 typedef ref<solver> solver_ref; typedef
/dports/math/dune-pdelab/dune-pdelab-20c7085389d3eb4f8ca99e1bc60f7fa6036536c8/dune/pdelab/test/
H A Dtestgeneo.cc297 auto solver_ref = std::make_shared<Dune::CGSolver<V> >(*popf,ospf,*prec,1E-6,1000,verb,true); in driver() local