Ecosyste.ms: Issues

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

GitHub / jchenche/theorem-prover issues and pull requests

#14 - Resolution might need revision

Issue - State: open - Opened by jchenche 10 months ago
Labels: question

#13 - Fix readme instruction

Pull Request - State: closed - Opened by jchenche 12 months ago

#12 - update readme

Pull Request - State: closed - Opened by tkhang1999 12 months ago

#11 - Enhance clause comparison and add more unit tests for clausal

Pull Request - State: closed - Opened by tkhang1999 12 months ago

#10 - Add more tests

Pull Request - State: closed - Opened by tkhang1999 12 months ago

#9 - clausal tests added

Pull Request - State: closed - Opened by nazaninys 12 months ago

#8 - fix bugs in resolution and add more unit tests

Pull Request - State: closed - Opened by tkhang1999 12 months ago

#7 - refactor resolution with time limit and naming

Pull Request - State: closed - Opened by tkhang1999 12 months ago

#6 - Termination logic and Unit tests

Pull Request - State: closed - Opened by tkhang1999 12 months ago

#5 - add more tests for resolution

Pull Request - State: closed - Opened by tkhang1999 almost 1 year ago

#4 - add basic unit tests for resolution

Pull Request - State: closed - Opened by tkhang1999 almost 1 year ago

#3 - remove duplicate formulas during resolution

Pull Request - State: closed - Opened by tkhang1999 about 1 year ago

#2 - add negation check

Pull Request - State: closed - Opened by tkhang1999 about 1 year ago

#1 - implement logic for resolution

Pull Request - State: closed - Opened by tkhang1999 about 1 year ago