Andrew Sutton <andrew.n.sut...@gmail.com> writes: | Implements reduction of requirements into the constraints language: | logical formulas comprised of atomic propositions. Calls to constraint | predicates are recursively inlined in the resulting expression. All | other calls are treated as atoms. | | 2013-03-01 Andrew Sutton <andrew.n.sut...@gmail.com>
Forgot to add: the ChangeLog goes into ChangeLog.concepts. -- Gaby
