Giters
MarisaKirisame
/
first_order_logic_prover
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
59
Watchers:
11
Issues:
43
Forks:
9
MarisaKirisame/first_order_logic_prover Issues
I am deeply interested in this project. I have some newbie questions :)
Updated
8 months ago
Comments count
1
Use ADT for sentence
Closed
8 years ago
use do while in resolution
Closed
8 years ago
remove abstraction of std::function in gentzen_system
Closed
8 years ago
Add more test for gentzen system
Closed
8 years ago
Resolution need to deal with equality
Closed
8 years ago
rewrite in D
Closed
8 years ago
Make subtyping rule more explicit and less ad hoc
Closed
8 years ago
Migrate to hana
Closed
8 years ago
DPLL and WalkSAT will not work with equality
Closed
8 years ago
Comments count
1
Remove TMP
Closed
8 years ago
Comments count
2
Decrease compile time
Closed
8 years ago
exception safety
Closed
8 years ago
extract a dependent type framework out of this.
Closed
8 years ago
Use Algebraic Data Type instead of variant
Closed
8 years ago
Stronger type constructor for sentence.
Closed
8 years ago
😖莎莎,栗子在哪里
Closed
8 years ago
Comments count
2
Tests are failing
Closed
9 years ago
optimization needed
Closed
9 years ago
Comments count
2
Remove use of boost::optional
Closed
9 years ago
Comments count
3
move iterator to common
Closed
9 years ago
Make files treelike structure.
Closed
9 years ago
Move named_parameter to common
Closed
9 years ago
Optimize DPLL
Closed
9 years ago
Add satisfiability definition
Closed
9 years ago
Returning bool is too weak
Closed
9 years ago
get_clause should accept a output iterator of literal, not boost::optional<literal>
Closed
9 years ago
equality is just a predicate
Closed
9 years ago
abstract to_CNF
Closed
9 years ago
Join implementation and forward
Closed
9 years ago
Merge with propositional_calculus_prover.
Closed
9 years ago
Fix Typo
Closed
9 years ago
refactor need.
Closed
9 years ago
Comments count
3
Delete default constructor
Closed
10 years ago
Reindent so each line can fix on github.
Closed
10 years ago
Make unit test run.
Closed
10 years ago
Refactor method to be dependent type.
Closed
10 years ago
FIx commented code.
Closed
10 years ago
CommonSentence is defaulted to freesentence.
Closed
10 years ago
Comments count
2
Move_operator may introduce new sentenc_type.
Closed
10 years ago
static assertion failed.
Closed
10 years ago
Comments count
1
Type Restore cannot decent to the correct type.
Closed
10 years ago
Comments count
1
bug in gentzen_system::is_valid
Closed
10 years ago
Comments count
1