search

mAarnos / Serkr

An automated theorem prover for first order logic.
GNU General Public License v3.0
28 stars 2 forks source link

Implemented formula renaming #17

Closed mAarnos closed 8 years ago

mAarnos commented 8 years ago

Implemented formula renaming and fixed some bugs in the parser and the analyzing script. We can now parse, CNF transform, and analyze around 99.8% of the CNF and FOF problems in the TPTP library. There's also a new command line switch for adjusting how eagerly formula renaming is used.

mAarnos commented 8 years ago

Oh, and this fixes #9, and does half of #3 .

coveralls commented 8 years ago

Coverage Status

Coverage decreased (-0.7%) to 95.773% when pulling 027c861e7694e3b9e30b604604dfb7cdabe5a03e on formula-renaming into 269ae98b8cea0e343c02394727cbe3de88324bbd on master.