toysolver-0.9.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
Copyright(c) Masahiro Sakai 2017
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityprovisional
Portabilitynon-portable
Safe HaskellSafe-Inferred
LanguageHaskell2010
Extensions
  • ScopedTypeVariables
  • FlexibleContexts
  • ExplicitForAll

ToySolver.SAT.Solver.SLS.UBCSAT

Description

 

Documentation

ubcsatBest :: Options -> IO (Maybe (Integer, Model)) Source #

ubcsatBestFeasible :: Options -> IO (Maybe (Integer, Model)) Source #

ubcsatMany :: Options -> IO [(Integer, Model)] Source #

data Options Source #

Constructors

Options 

Fields

Instances

Instances details
Default Options Source # 
Instance details

Defined in ToySolver.SAT.Solver.SLS.UBCSAT

Methods

def :: Options #