These unused in bodies constraints were for tracking certain cases of incremental dependencies. Now it's handled by minor algorithm extension introduced in several previous commits. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||
These unused in bodies constraints were for tracking certain cases of incremental dependencies. Now it's handled by minor algorithm extension introduced in several previous commits. |
||
|---|---|---|
| .. | ||
| fitch | ||
| lambdacalc | ||
| mpscore | ||