forge.solve
Interfaces 
ForgeConstant
ForgeConstant.Tuple
ForgeConstant.Unary
Classes 
Binding
BooleanAtom
Coverage
Coverage.Score
ForgeAtom
ForgeBounds
ForgeReporter
ForgeSolution
ForgeSolver
InstanceAtom
IntegerAtom
SolveOptions
SolveOptions.Builder
Step
Step.Branch
Step.Call
Step.Update
Trace
Enums 
SolveOptions.SatSolver