Change in Bule Syntax

We have listened to the community of SAT Programmers have adapted syntax accordingly:

• Literals in clauses are separated by pipe | and not anymore with comma , .
• The order of Iterators (big OR) within clauses is written first facts with commas , and then a colon : and the literal.
  F1 , F2 ... F4 : L | etc.

Now everything in Bule is read left to right. Much easier if one comes from normal languages and template engines.

The new use of | eases the visual understand of the clause. This way it is much easier to understand the semantic of a ,.

Have a look at the tests in test-input and a big set of examples. All files are adapted.

We welcome feedback from the community! Bule is still work in progress and you can influence the development.