OmniCS (Omni Constraint Solver)
API Specification

OmniCS is a library that provides a constraint programming engine designed for academic and scientific use.

See:
          Description

Packages
omnics Provides the main classes and interfaces for modelling a problem as a CSP instance and for solving it.
omnics.constraint Provides a library of hard constraints.
omnics.constraint.soft Provides a library of soft constraints.
omnics.event Provides support for dealing with different types of events fired by a solver.
omnics.expl Offers a mechanism for generating explanations.
omnics.filter Contains general filtering algorithms, such as GeneralArcConsistency.
omnics.sample Contains a set of sample constraint satisfaction problems.
omnics.strategy Provides different heuristics defining the strategies that control the solver.

 

OmniCS is a library that provides a constraint programming engine designed for academic and scientific use.

Package Specification

(No specification yet)

Related Documentation

For overviews, tutorials, examples, guides, and tool documentation, please see:

Author:
Cristian Frăsinaru, Faculty of Computer Science, "Al.I.Cuza" University Iaşi, România