AlexanderKnueppel / AlexanderKnueppel/Guido
Create main prover program
未關閉
- 主要語言
- Java
- 星號
- 2
- 分支
- 0
- PR 合併指標
- 30 天內沒有已合併 PR
描述
Create main guido program in `de.tubs.isf.guido.prover`.
Things to consider:
- How to apply a contuniation mechanism
- How to solve the CSP elegenatly
- How to configure guido? (Timeout/continuitation mechanism)
- what about the rule-based system?
Input should be a source file and the evelatuated hypotheses
貢獻指南
這個儲存庫沒有索引到貢獻指南
評估
這個 Issue 還沒有評估資料。