ResourceDependencyLogic/src/models/formulas at 62068397210707986dca9aca14186dcf045c8005

Fork: 0

k-sakoda / ResourceDependencyLogic

Download ZIP 105 commits

ResourceDependencyLogic / src / models / formulas /


..
meta	公理による推論を実装中	6 months ago
DependencyFormula.java	コンストラクタ追加	10 months ago
EquationFormula.java	意味論的同値関係の推論ができるようになった	7 months ago
Formula.java	Formulaを追加	10 months ago
InFormula.java	inの形の式に対応	10 months ago