Package count provides algorithms for counting models on formulas in LogicNG.

Package enum provides algorithms to perform model enumeration on formulas in LogicNG.

Package iter gathers functionality for model iteration in LogicNG.

FromAssignment generates a new model from a given assignment.

New returns a new model with the given literals.

A Model represents a list of literals.