☰
Libraries
.
AlgebraTestSuite
.
AliasDifficult
.
SynthesisProblem
.
SubproblemA
OMC
latest
demo
☼
package
SubproblemA
Contents
Name
Description
Experiment
ALIAS difficult, Synthesis problem from COPRIN (subproblem A with 9 unknowns)