База данных ограничений » History » Revision 2
Revision 1 (Alexander Kamkin, 09/26/2011 10:48 AM) → Revision 2/91 (Andrei Tatarnikov, 12/21/2011 11:40 AM)
h1. База данных ограничений
База данных ограничений строится автоматически в результате анализа формализованных спецификаций системы команд микропроцессора, выполненной на одном из ADL-языков (например, nML). Некоторые ситуации могут описываться вручную и добавляться в базу данных ограничений.
h1. Constraint Solver Library