toysolver-0.0.5: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Portabilityportable
Stabilityprovisional
Maintainermasahiro.sakai@gmail.com
Safe HaskellSafe-Inferred

Data.Var

Description

 

Synopsis

Documentation

type Var = IntSource

Variables are represented as non-negative integers

type VarSet = IntSetSource

Set of variables

type VarMap = IntMapSource

Map from variables

class Variables a whereSource

collecting free variables

Methods

vars :: a -> VarSetSource

Instances

type Model r = VarMap rSource

A Model is a map from variables to values.