Skip to content
Snippets Groups Projects

add tactic for solving computable goals

Merged Ralf Jung requested to merge ralf/compute_done into master
All threads resolved!
Loading