Ecosyste.ms: Issues

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

GitHub / QuMuLab/python-nnf issues and pull requests

#30 - Bad model count for tautologies

Issue - State: open - Opened by haz about 2 years ago
Labels: bug

#29 - Simplify tautologies

Pull Request - State: closed - Opened by haz about 2 years ago - 5 comments

#28 - Implement a d4 wrapper

Issue - State: open - Opened by haz about 3 years ago
Labels: enhancement, help wanted, good first issue

#27 - Add Implication and Remove Nesting

Pull Request - State: closed - Opened by beckydvn over 3 years ago - 2 comments

#26 - Full marginal computation

Issue - State: open - Opened by haz over 3 years ago
Labels: enhancement, help wanted, good first issue

#25 - A couple of old links to DSHARP

Issue - State: closed - Opened by rickhg12hs about 4 years ago - 1 comment

#24 - Dynamic decisions based on size for to_CNF

Issue - State: open - Opened by karishmadaga about 4 years ago
Labels: enhancement

#23 - Automatic conjunct/disjunct simplification

Issue - State: open - Opened by haz over 4 years ago - 4 comments
Labels: enhancement, good first issue, wontfix, discussing

#22 - Create fewer auxiliary variables when converting to CNF

Pull Request - State: closed - Opened by blyxxyz over 4 years ago

#21 - Implement naive `to_CNF`

Issue - State: open - Opened by haz over 4 years ago
Labels: enhancement

#20 - Avoid unnecessary aux nodes in Tseitin

Issue - State: closed - Opened by haz over 4 years ago - 2 comments
Labels: enhancement

#19 - Add PySAT support, add .solve(), make .models() lazy

Pull Request - State: closed - Opened by blyxxyz over 4 years ago - 5 comments

#18 - Semantic Emulation

Issue - State: open - Opened by haz over 4 years ago
Labels: enhancement, help wanted

#17 - Memoization and other optimizations and fixes

Pull Request - State: closed - Opened by blyxxyz over 4 years ago - 1 comment

#16 - Forgetting/projection.

Pull Request - State: closed - Opened by haz over 4 years ago - 1 comment

#15 - Method that returns an arbitrary model (.solve())

Issue - State: closed - Opened by blyxxyz over 4 years ago - 1 comment
Labels: enhancement, good first issue

#14 - is_CNF semantics

Issue - State: closed - Opened by blyxxyz over 4 years ago - 1 comment

#13 - More testing/example data

Issue - State: open - Opened by blyxxyz over 4 years ago
Labels: enhancement, help wanted, good first issue

#12 - Improve the vars() computation

Issue - State: closed - Opened by haz over 4 years ago
Labels: enhancement, help wanted, good first issue

#11 - Fix up comparisons with disperate variable sets

Issue - State: open - Opened by haz over 4 years ago - 3 comments
Labels: bug, help wanted

#10 - Optionally call pysat if it is installed

Issue - State: closed - Opened by haz over 4 years ago - 1 comment
Labels: enhancement

#9 - Dynamic solver loading

Pull Request - State: closed - Opened by haz over 4 years ago - 5 comments

#8 - Advanced Simplification

Issue - State: open - Opened by haz over 4 years ago
Labels: enhancement

#7 - Implement forgetting/projection

Issue - State: closed - Opened by haz over 4 years ago - 11 comments
Labels: enhancement

#6 - Tseitin Encoding

Pull Request - State: closed - Opened by haz over 4 years ago - 4 comments

#5 - Include a Tseiten encoding

Issue - State: closed - Opened by haz over 4 years ago
Labels: enhancement

#4 - Shift to better SAT solving

Issue - State: closed - Opened by haz over 4 years ago - 18 comments
Labels: enhancement

#3 - Address failing test

Issue - State: closed - Opened by haz over 4 years ago - 5 comments
Labels: bug, question

#2 - BDD Functionality

Issue - State: open - Opened by haz over 4 years ago
Labels: enhancement

#1 - Very slow equality checks for certain sentences

Issue - State: open - Opened by blyxxyz over 5 years ago - 8 comments
Labels: enhancement