An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.
Ratings and Reviews
Be the first to post a text review of Intercalation Calculus Prover. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Project Feed
-
icprover icprover.2008-04-14 file released: icprover.2008-04-14.zip
As far as I know, the algorithm is implemented validly. However, search speed is still slow, so there remains work to be done in determining when to backtrack.
-
File released: /icprover/icprover.2008-04-14/icprover.2008-04-14.zip
Rate and Review
Be the first person to add a text review.
Related Projects
-
-
-
Crypt C# API
CryptAPI is a C# library that contains unimplemented algorithms in the .NET framework (NT, NTLM, BlowFish, DES and MD5) linking and emulating the crypt() unix function re-programmed in C#. The main purpose is to provide backward compatiblity.
Intercalation Calculus Prover Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
