riddle-lang 0.2.0

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.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14

/*
* This problem creates two goals forcing the value of a global variable to assume different values and a third goal having a free parameter.
* Notice that the problem has no solution! A smart solver should not even start the search.
*/

real n;

predicate P(real x) {
    x == n;
}

goal g0 = new P();
goal g1 = new P(x:0.0);
goal g2 = new P(x:1.0);