lp2sat2lminisat

<<TableOfContents: execution failed [list index out of range] (see also the log)>>

Association

Aalto University, Department of Information and Computer Science

Description

This is system is the same as lp2sat2+minisat up to the following step:

Here we use the command line option -l of lp2lp2 which adds strong LOCAL ranking constraints to the program.

Participants