Package jline.examples.parity

Class NetworkTwins

java.lang.Object
jline.examples.parity.NetworkTwins
public final class NetworkTwins extends Object
Twins for the goldened networks the JAR's example gallery did not carry.

Each of these was one NAMED SKIP in the JAVA parity row: the golden exists, every other codebase answers it, and the jar had no model of that name to run. The model is transcribed from the reference script under python/examples/, and the solvers are the ones that script runs, with the method it pins -- a solver name is not an algorithm, and a row solved by a different method is a different answer to the same model.