Fork: 0
k-sakoda / ResourceDependencyLogic
History for ResourceDependencyLogic / src / tests / inferencerule / InferenceRuleTest.java
2026-04-18
dc7a700
Browse files »
@Sakoda2269
書き換えの推論を少し実装
Sakoda2269 committed 13 days ago
2025-11-20
238389d
Browse files »
@Sakoda2269
InferenceRule#checkの計算量を改善
Sakoda2269 committed on 20 Nov
2025-11-19
a86b89c
Browse files »
@Sakoda2269
公理を追加
Sakoda2269 committed on 19 Nov
67b1663
Browse files »
@Sakoda2269
checkにbindingを追加
Sakoda2269 committed on 19 Nov
2025-10-27
3390c1a
Browse files »
@Sakoda2269
テスト追加
Sakoda2269 committed on 27 Oct