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