Nested Classes
Modifier and Type	Class	Description
`(package private) static class`	`Sat.And`	"And" term.
`private static class`	`Sat.Assignment`	Assignment of a variable to a value.
`(package private) static class`	`Sat.Node`	Term that has a variable number of arguments ("and" or "or").
`(package private) static class`	`Sat.Not`	"Not" term.
`private static class`	`Sat.Op`	Operator (or type of term), with its left and right precedence and print name.
`(package private) static class`	`Sat.Or`	"Or" term.
`static class`	`Sat.Term`	Base class for all terms (variables, and, or, not).
`static class`	`Sat.Variable`	Variable.

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`Sat.Term`	`and(Iterable<? extends Sat.Term> terms)`
`Sat.Term`	`and(Sat.Term... terms)`
`Sat.Term`	`not(Sat.Term term)`
`Sat.Term`	`or(Iterable<? extends Sat.Term> terms)`
`Sat.Term`	`or(Sat.Term... terms)`
`@Nullable Map<Sat.Variable,Boolean>`	`solve(Sat.Term term)`	Finds an assignment of variables such that a term evaluates to true, or null if there is no solution.
`Sat.Variable`	`variable(String name)`

private final Map<Integer,Sat.Variable> variablesById

private final Map<String,Sat.Variable> variablesByName

solve
```
public @Nullable Map<Sat.Variable,Boolean> solve(Sat.Term term)
```
Finds an assignment of variables such that a term evaluates to true, or null if there is no solution.

public Sat.Variable variable(String name)

public Sat.Term not(Sat.Term term)

public Sat.Term and(Sat.Term... terms)

public Sat.Term and(Iterable<? extends Sat.Term> terms)

public Sat.Term or(Sat.Term... terms)

public Sat.Term or(Iterable<? extends Sat.Term> terms)

Modifier and Type	Field	Description
`private int`	`nextVariable`
`private Map<Integer,Sat.Variable>`	`variablesById`
`private Map<String,Sat.Variable>`	`variablesByName`

Class Sat