Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / marisakirisame/first_order_logic_prover issues and pull requests

#43 - I am deeply interested in this project. I have some newbie questions :)

Issue - State: open - Opened by enjoysmath almost 2 years ago - 1 comment

#42 - use do while in resolution

Issue - State: closed - Opened by MarisaKirisame over 8 years ago

#41 - đŸ˜–èŽŽèŽŽïŒŒæ —ć­ćœšć“Ș里

Issue - State: closed - Opened by sg-first almost 9 years ago - 2 comments

#40 - rewrite in D

Issue - State: closed - Opened by MarisaKirisame almost 9 years ago

#39 - Make subtyping rule more explicit and less ad hoc

Issue - State: closed - Opened by MarisaKirisame almost 9 years ago

#38 - Migrate to hana

Issue - State: closed - Opened by MarisaKirisame almost 9 years ago

#37 - Use ADT for sentence

Issue - State: closed - Opened by MarisaKirisame over 9 years ago
Labels: refactor

#36 - Tests are failing

Issue - State: closed - Opened by MarisaKirisame over 9 years ago
Labels: bug

#35 - remove abstraction of std::function in gentzen_system

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago

#34 - Add more test for gentzen system

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago

#33 - Remove use of boost::optional

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago - 3 comments
Labels: refactor

#32 - Move named_parameter to common

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago
Labels: refactor

#31 - Resolution need to deal with equality

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago
Labels: bug

#30 - DPLL and WalkSAT will not work with equality

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago - 1 comment
Labels: bug

#29 - equality is just a predicate

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago
Labels: refactor

#28 - Optimize DPLL

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago

#27 - move iterator to common

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago
Labels: refactor

#26 - get_clause should accept a output iterator of literal, not boost::optional<literal>

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago
Labels: refactor

#25 - extract a dependent type framework out of this.

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago

#24 - abstract to_CNF

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago
Labels: refactor

#23 - exception safety

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago

#22 - Decrease compile time

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago

#21 - Use Algebraic Data Type instead of variant

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago
Labels: refactor

#20 - Returning bool is too weak

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago
Labels: refactor

#19 - Remove TMP

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago - 2 comments
Labels: refactor

#18 - Make files treelike structure.

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago
Labels: refactor

#17 - Add satisfiability definition

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago
Labels: refactor

#16 - Join implementation and forward

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago
Labels: refactor

#15 - Fix Typo

Issue - State: closed - Opened by MarisaKirisame almost 10 years ago
Labels: bug, refactor

#14 - Reindent so each line can fix on github.

Issue - State: closed - Opened by MarisaKirisame over 10 years ago
Labels: refactor

#13 - Make unit test run.

Issue - State: closed - Opened by MarisaKirisame over 10 years ago
Labels: bug

#12 - Move_operator may introduce new sentenc_type.

Issue - State: closed - Opened by MarisaKirisame over 10 years ago
Labels: bug

#11 - static assertion failed.

Issue - State: closed - Opened by MarisaKirisame over 10 years ago - 1 comment
Labels: bug

#10 - Delete default constructor

Issue - State: closed - Opened by MarisaKirisame over 10 years ago
Labels: refactor

#9 - Merge with propositional_calculus_prover.

Issue - State: closed - Opened by MarisaKirisame over 10 years ago
Labels: refactor

#8 - FIx commented code.

Issue - State: closed - Opened by MarisaKirisame over 10 years ago
Labels: bug

#7 - Refactor method to be dependent type.

Issue - State: closed - Opened by MarisaKirisame over 10 years ago
Labels: refactor

#6 - Stronger type constructor for sentence.

Issue - State: closed - Opened by MarisaKirisame over 10 years ago
Labels: refactor

#5 - Type Restore cannot decent to the correct type.

Issue - State: closed - Opened by MarisaKirisame over 10 years ago - 1 comment
Labels: bug

#4 - CommonSentence is defaulted to freesentence.

Issue - State: closed - Opened by MarisaKirisame over 10 years ago - 2 comments
Labels: question

#3 - refactor need.

Issue - State: closed - Opened by MarisaKirisame over 10 years ago - 3 comments
Labels: refactor

#2 - bug in gentzen_system::is_valid

Issue - State: closed - Opened by MarisaKirisame over 10 years ago - 1 comment
Labels: bug

#1 - optimization needed

Issue - State: closed - Opened by MarisaKirisame over 10 years ago - 2 comments
Labels: performance