Problem

sealed trait Problem
class Object
trait Matchable
class Any
trait Variable
class Real
class Integer
class Binary

Value members

Abstract methods

def constraints: IndexedSeq[Constraint]

Concrete methods

def goal: Option[GoalType]
def solve(implicit solver: Solver): Result
def subjectTo(constraints: Constraint*): Problem
override def toString: String
Definition Classes
Any