RSolver の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• RSolver へ行く。

*RSolver [#tb60deb7]
RSolver is a program for solving quantified inequality constraints. Problems like projecting the solution set of a set of inequality constraints to two dimensions, or parametric robust stability of linear differential equations can be directly formulated as such constraints.

入力できる原始論理式は不等式，出力はあくまで近似値ですが，初等超越関数まで扱え，自由変数の個数が 1 または 2 なら出力される領域の図を用いた真偽判定も可能です．

- http://www2.cs.cas.cz/harrachov/slides/Ratschan1.pdf

*インストール例 [#he922c7d]
 export CAS=/usr/local/CAS
 sudo mkdir $CAS
 sudo chmod 777 $CAS
 cd $CAS
 wget http://jaist.dl.sourceforge.net/project/rsolver/rsolver/rsolver_3.1.tar.gz
 tar zxvf ./rsolver_3.1.tar.gz
*使用例 [#aaa58f1b]
 cd /usr/local/CAS/rsolver
 cat ./examples/basic/test3.ap | ./rsolver
GUI
 ./rsolver-gui.sh
プロセスが残ったときはタスクマネージャ(lxtask)などで終了させてください．
*リンク [#ibfe853b]
- http://rsolver.sourceforge.net/
- http://d.hatena.ne.jp/ehito/20130806/1375773358