OKlibrary  0.2.1.6
general.hpp File Reference

Plans for Maxima-components regarding the resolution calculus. More...

Go to the source code of this file.


Detailed Description

Plans for Maxima-components regarding the resolution calculus.

Todo:
Write tests
Todo:
Write docus
Todo:
Bounded resolution
  • Implement the different forms of bounded resolution.
  • In this way we can determine the width of a clause-set.
Todo:
Create milestones : DONE

Definition in file general.hpp.