search

abella-prover / abella

An interactive theorem prover based on lambda-tree syntax
https://abella-prover.org/
GNU General Public License v3.0
89 stars 18 forks source link

No more Solutions #75

Closed pramodcj closed 7 years ago

pramodcj commented 7 years ago

Hi even adding the ~sr:!sr line in the abella.ml file of src directory of abella package. All the Query results say "No more Solutions." (attached screenshot) This is even same for examples also. please suggest the proper solution to get rid of this error. Thank You in advance error

chaudhuri commented 7 years ago

It is not enough just to change abella.ml. You also have to recompile Abella.

Since you are using the Windows version, it may be a bit harder to recompile things. I've attached a newly compiled abella.exe from the master branch.