milestones.hpp File Reference

Go to the source code of this file.

Detailed Description

Module Versions:
Satisfiability/Lisp/BranchingTuples 0.0.5 (21.1.2008)
Version 0.0.6
In ComputerAlgebra/Satisfiability/Lisp/BranchingTuples/plans/general.hpp the following topics are handled:
Create further milestones.


Version history
  • 0.0.4 : 29.7.2007; started re-implementing the Mupad-functions in Maxima.
  • 0.0.5 : 21.1.2008; completed the basic functionality regarding branching tuples and the tau-function; also basic functionality regarding trees.

Definition in file milestones.hpp.