Aalto University, Department of Information and Computer Science
This is system is the same as lp2sat2+minisat up to the following step:
- lp2lp2 (version 1.17) transforms a normal program so that all supported models are also stable. The translation is analogous to that produced by lp2diff for SMT solvers but integers are encoded as vectors of atoms.
Here we use the command line option -g of lp2lp2 which adds strong GLOBAL ranking constraints to the program.
- Tomi Janhunen
- Ilkka Niemelä