Commit 3e5212ca authored by Daniel Le Berre's avatar Daniel Le Berre

Fixed encoding.

parent 8c561613
Pipeline #100 passed with stage
in 13 minutes and 7 seconds
......@@ -140,7 +140,7 @@ public final class Backbone {
/**
* Computes the backbone of a formula following the iterative algorithm
* described in João Marques-Silva, Mikolás Janota, Inês Lynce: On Computing
* described in Joao Marques-Silva, Mikolas Janota, Ines Lynce: On Computing
* Backbones of Propositional Theories. ECAI 2010: 15-20 and using Sat4j
* specific prime implicant computation.
*
......@@ -213,7 +213,8 @@ public final class Backbone {
}
solver.removeConstr(constr);
} catch (ContradictionException e) {
for (IteratorInt it = litsToTest.iterator(); it.hasNext();) {
for (IteratorInt it = litsToTest.iterator(); it
.hasNext();) {
candidates.push(-it.next());
}
litsToTest.clear();
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment