Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added 'solvers' option to Nunchaku
Changeset 66163:45d3d43abee7 by blanchet:
added 'solvers' option to Nunchaku
The file was modified src/HOL/Nunchaku/Nunchaku.thy (diff)
The file was modified src/HOL/Nunchaku/Tools/nunchaku.ML (diff)
The file was modified src/HOL/Nunchaku/Tools/nunchaku_commands.ML (diff)
The file was modified src/HOL/Nunchaku/Tools/nunchaku_tool.ML (diff)