Modules

Here is a list of all modules:

[detail level 12]

Basic Data Types and Functions	Data types and functions used throughout all modules and version information
Symbols	Working with (evaluated) ground terms and related functions
Abstract Syntax Trees	Functions and data structures to work with program ASTs
▼Grounding and Solving	Functions to control the grounding and solving process
Model Inspection	Inspection of models and a high-level interface to add constraints during solving
Iterative Solving	Iterative enumeration of models (without using callbacks)
Asynchronous Solving	Solve in the background and notify about new models
Symbolic Atom Inspection	Inspection of atoms occurring in ground logic programs
Theory Atom Inspection	Inspection of theory atoms occurring in ground logic programs
Theory Propagation	Extend the search with propagators for arbitrary theories
Program Building	Add non-ground program representations (ASTs) to logic programs or extend the ground (aspif) program
Solver Configuration	Configuration of search and enumeration algorithms
Statistics	Inspect search and problem statistics