Next: Node record, Previous: Principles overview, Up: Solver
In this section, we explain the whole range of principles in the predefined principle library. Note that the library is constantly changing, and that some principles, may still lack a description.