Problem

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

Value members

Concrete methods

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