Skip to content
Snippets Groups Projects

make solve_ndisj more powerful

Merged make solve_ndisj more powerful
ralf/solve_ndisj into master
All threads resolved!
Merged Ralf Jung requested to merge ralf/solve_ndisj into master
All threads resolved!
Compare
and
4 files
+ 21
− 24
Compare changes
  • Side-by-side
  • Inline
Files
4
tests/solve_ndisj.ref
+ 0
− 3
The command has indeed failed with message:
Ltac call to "solve_ndisj" failed.
No applicable tactic.