Symbolic models for ILP and others Logic methods

The tools can be found here:

The models can be found here: