import java.util.*;

*public* CSP = <comments> List(Comment) Preamble <constraints> 
List(Constraint) .

*public* Comment = "c" <comment> Line .

*public* Preamble = "p" <numVariables> int <numConstraints> int .

*public* Constraint = <relation> Relation [Weight] ":" <variables> List(Variable) *s "0" .
// relation is 0 to 255 inclusive
*public* Relation = <relationNumber> int .
// weight is 1 if not specified
*public* Weight = <weight> int .
// variable is between 1 and numVaraibles inclusive
*public* Variable = <variable> int .

*public* List(S) ~ {S}.

*public* Main = .

// Assignment of true/false values to variables 
*public* Assignment = <literals> List(Literal).
*public* Literal : T | F common <var> Variable *s.
*public* T = .
*public* F = "!".

// state transition history
*public* History = <start> State *l <transitions> List(TState).
*public* TState = *s "=>" *s <transition> Transition <state> State *l.
*public* Transition : UnitPropagation | Restart | Decide | Finale | Update | SSR *s.
*public* State = <partial> Assignment "||" <formula> CSP "||" <resolvent> List(Literal) "||" <bias> double "||" <best> Assignment.
*public* UnitPropagation = "UP".
*public* Restart = "R".
*public* Decide = "D" <d_literal> Literal.
*public* Finale = "F".
*public* Update = "U".
*public* SSR = "SSR".

// container for unit testing functions
*public* Tests = .