OKlibrary  0.2.1.6
general.hpp File Reference

Plans for Maxima-components regarding autarkies. More...

Go to the source code of this file.


Detailed Description

Plans for Maxima-components regarding autarkies.

Todo:
Create milestones
Todo:
Write tests
Todo:
Write docus
Todo:
Balanced autarkies
Todo:
Pure autarkies
  • Create PureAutarkies.mac.
Todo:
Autarky search via running through all total assignments
Todo:
Implement the translation of USAT to LEAN according to our article with Victor and Mirek
Todo:
Basic functionality

Definition in file general.hpp.