HydLaWiki
Basics
Start:
- HydLaプログラムは,目的とする系を構成する変数値が満たすべき制約の形で記述される
- HydLaプログラムの意味とは,プログラムに書かれた仕様を満たすような変数値の軌道である
End:
- HydLaプログラムは,目的とする系を構成する変数値が満たすべき制約の形で記述される
- HydLaプログラムの意味とは,プログラムに書かれた仕様を満たすような変数値の軌道である
Page: