Skip to content

make solve_ndisj more powerful

Ralf Jung requested to merge ralf/solve_ndisj into master

Fixes #34 (closed).

Merge request reports