RSolver

RSolver †

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

インストール例 †

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

使用例 †

cd /usr/local/CAS/rsolver
cat ./examples/basic/test3.ap | ./rsolver

GUI

./rsolver-gui.sh

プロセスが残ったときはタスクマネージャ(lxtask)などで終了させてください．

リンク †

• http://rsolver.sourceforge.net/
• http://d.hatena.ne.jp/ehito/20130806/1375773358

最新の20件