search

windsteiger / Theorema

Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
GNU General Public License v3.0
71 stars 14 forks source link

TimeConstrained for proof search #27

Closed windsteiger closed 11 years ago

windsteiger commented 11 years ago

the proof search should run inside a TimeConstrained

windsteiger commented 11 years ago

TimeConstrained does an abort and behaves unstable. Instead, we check a time limit in each loop iteration of the proof search.