AlexanderKnueppel / AlexanderKnueppel/Guido
Create main prover program
Đang mở
- Ngôn ngữ chính
- Java
- Star
- 2
- Fork
- 0
- Chỉ số merge pull request
- Không có pull request nào được merge trong 30 ngày
Mô tả
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
Hướng dẫn đóng góp
Chưa lập chỉ mục được hướng dẫn đóng góp cho kho mã nguồn này
Đánh giá
Issue này chưa được đánh giá.