OKlibrary  0.2.1.6
milestones.hpp File Reference

Go to the source code of this file.


Detailed Description

Module Versions:
Satisfiability/Lisp 0.0.5.3 (29.11.2009)
Version 0.0.6
In ComputerAlgebra/Satisfiability/Lisp/plans/general.hpp the following topics are handled:
  • Relations to other modules
  • Update plans
In Satisfiability/Lisp/FiniteFunctions/plans/BasicFunctions.hpp the following topics are handled:
  • Random boolean function : DONE
ComputerAlgebra/Satisfiability/Lisp/Resolution version 0.0.9
(see ComputerAlgebra/Satisfiability/Lisp/Resolution/plans/milestones.hpp)
ComputerAlgebra/Satisfiability/Lisp/Generators version 0.0.8 : DONE
(see ComputerAlgebra/Satisfiability/Lisp/Generators/plans/milestones.hpp)
ComputerAlgebra/Satisfiability/Lisp/BranchingTuples version 0.0.5 : DONE
(see Satisfiability/Lisp/BranchingTuples/plans/milestones.hpp)
Version 0.0.7
ComputerAlgebra/Satisfiability/Lisp/Generators version 0.0.10
(see ComputerAlgebra/Satisfiability/Lisp/Generators/plans/milestones.hpp)
ComputerAlgebra/Satisfiability/Lisp/PropositionalLogic version 0.1.1
(see Satisfiability/Lisp/PropositionalLogic/plans/milestones.hpp)
In ComputerAlgebra/Satisfiability/Lisp/plans/general.hpp the following topics are handled:
  • MaxSAT, weighted MaxSAT, and partial MaxSAT
  • Redesign
Update the following milestones.
Version 0.0.8
ComputerAlgebra/Satisfiability/Lisp/BranchingTuples version 0.0.6
(see Satisfiability/Lisp/BranchingTuples/plans/milestones.hpp)
ComputerAlgebra/Satisfiability/Lisp/Generators version 0.0.12
(see ComputerAlgebra/Satisfiability/Lisp/Generators/plans/milestones.hpp)
ComputerAlgebra/Satisfiability/Lisp/Resolution version 0.0.10
(see ComputerAlgebra/Satisfiability/Lisp/Resolution/plans/milestones.hpp)
Version 0.0.9
In ComputerAlgebra/Satisfiability/Lisp/plans/SatisfactionProblems.hpp the following topics are handled:
  • Variables
  • Value set
  • Total assignments
  • Domain association and allowed total assignments
  • The notion of "condition"
ComputerAlgebra/Satisfiability/Lisp/Resolution version 0.0.11
(see ComputerAlgebra/Satisfiability/Lisp/Resolution/plans/milestones.hpp)
ComputerAlgebra/Satisfiability/Lisp/Generators version 0.0.13
(see ComputerAlgebra/Satisfiability/Lisp/Generators/plans/milestones.hpp)
Version 0.0.10
ComputerAlgebra/Satisfiability/Lisp/BranchingTuples version 0.0.6
(see Satisfiability/Lisp/BranchingTuples/plans/milestones.hpp)
ComputerAlgebra/Satisfiability/Lisp/Generators version 0.0.14
(see ComputerAlgebra/Satisfiability/Lisp/Generators/plans/milestones.hpp)
In ComputerAlgebra/Satisfiability/Lisp/plans/SatisfactionProblems.hpp the following topics are handled:
  • Partial assignments
  • Evaluation of partial assignments
  • Functions for conditions
  • Backdoors
Version 0.0.11
In ComputerAlgebra/Satisfiability/Lisp/plans/IteratedConditionSystems.hpp the following topics are handled:
  • Basic notions
  • Finding literature
  • The trivial algorithm
  • AES as an ics
  • Applications from railway safety
ComputerAlgebra/Satisfiability/Lisp/Generators version 0.1
(see ComputerAlgebra/Satisfiability/Lisp/Generators/plans/milestones.hpp)

-------------------------------------------------------------------------------------------------------------------------------------

Version history
  • 0.0.5 : 29.7.2007; several plans, started re-implementing the mupad-tau-functionality.

Definition in file milestones.hpp.