RiDDLe is a language for the definition of timeline-based domains and problem definitions, designed to facilitate the integration with solvers and to increase modularity and reusability of domain models.
/*
* This problem is intended to introduce some basic concepts about the constraint network and the available propositional constraints.
*/
// we create some bool variable..
bool b0;
bool b1;
// we add some contraints..
b0 | b1;
!b1;