Ecosyste.ms: Issues

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

GitHub / logic-ng/LogicNG issues and pull requests

#52 - Feature/remove parser

Pull Request - State: closed - Opened by czengler 10 months ago

#51 - Getting @CNF_RESERVED_XXX instead of literals for big model

Issue - State: closed - Opened by DarioRomano 10 months ago - 4 comments

#50 - Updated antlr dependencies from 4.9.3 to 4.13.1.

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

#49 - Updated antlr dependencies from 4.9.3 to 4.13.1.

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

#49 - Updated antlr dependencies from 4.9.3 to 4.13.1.

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

#48 - Upgrade antlr dependencies version 4.13.1

Issue - State: closed - Opened by franzmathauser about 1 year ago - 3 comments

#47 - chore(deps): Update mockito to 5.2.0

Pull Request - State: closed - Opened by reneleonhardt almost 2 years ago - 2 comments

#46 - chore(deps): Update OSGi bundle to JavaSE-11

Pull Request - State: closed - Opened by reneleonhardt almost 2 years ago

#45 - Bump to ANTLR runtime version 4.10.1

Issue - State: closed - Opened by axkr almost 2 years ago - 7 comments

#44 - Release/v2.4

Pull Request - State: closed - Opened by czengler about 2 years ago

#43 - Development

Pull Request - State: closed - Opened by czengler about 2 years ago

#42 - Quine-McCluskey Solver Inefficient for Formulas with Many Input Variables

Issue - State: closed - Opened by zeirew over 2 years ago - 2 comments

#41 - test username

Pull Request - State: closed - Opened by SHildebrandt over 2 years ago - 1 comment

#40 - Release/v2.3

Pull Request - State: closed - Opened by rouven-walter over 2 years ago

#39 - Updated antlr to Version 4.9.3

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

#38 - How to create BDD ?

Issue - State: closed - Opened by axkr over 2 years ago - 3 comments

#37 - What are valid variable names (for parsing)?

Issue - State: closed - Opened by rohte almost 3 years ago - 2 comments

#36 - Is it possible to have saveState() and loadState() in MaxSATSolver?

Issue - State: closed - Opened by tendyliu over 3 years ago - 1 comment

#34 - fixes bug in #33

Pull Request - State: closed - Opened by tnstrssnr almost 4 years ago

#33 - [bug] Error when exporting single-clause cnf formula to dimacs file

Issue - State: closed - Opened by tnstrssnr almost 4 years ago - 2 comments

#32 - Improve discoverability of features

Issue - State: closed - Opened by rohte about 4 years ago - 5 comments

#31 - What is the best way to represent a `BooleanFunction` in LogicNG?

Issue - State: closed - Opened by axkr over 4 years ago

#30 - Add JavaDoc to "phase"

Issue - State: closed - Opened by koppor over 4 years ago - 6 comments

#29 - BDD Kernel & Factory usage

Issue - State: closed - Opened by PHMT-CW almost 5 years ago - 3 comments

#28 - Memory requirements

Issue - State: closed - Opened by exander77 almost 5 years ago - 10 comments

#27 - Is it safe to use a formula multiple times?

Issue - State: closed - Opened by exander77 almost 5 years ago - 1 comment

#26 - Is there xor?

Issue - State: closed - Opened by exander77 almost 5 years ago - 7 comments

#25 - Changing variable value after parsing formula

Issue - State: closed - Opened by m-ajmone about 5 years ago - 5 comments

#24 - Parallel computing

Issue - State: closed - Opened by SPAstef over 5 years ago - 4 comments

#23 - Performance of QMC

Issue - State: closed - Opened by yanntm over 5 years ago - 5 comments

#22 - [Question] How to reduce syntactic size of a formula

Issue - State: closed - Opened by yanntm over 5 years ago - 6 comments

#21 - miniSat.enumerateAllModels() returns assignments with additional variables

Issue - State: closed - Opened by abdelal over 5 years ago - 2 comments

#20 - CDNF that allows for additional variables

Pull Request - State: closed - Opened by d-bischoff over 5 years ago

#19 - enumerateAllModels with additionalVariables

Issue - State: closed - Opened by d-bischoff over 5 years ago - 1 comment

#18 - Minimization using dont care conditions

Pull Request - State: closed - Opened by d-bischoff over 5 years ago

#17 - Zero Coefficients in PBC

Pull Request - State: closed - Opened by d-bischoff almost 6 years ago

#16 - [Question] enumerateAllModels() method - Is there an Option for order of output?

Issue - State: closed - Opened by axkr almost 6 years ago - 6 comments

#15 - When converting string formula, getting formula containing ~@RESERVED_CNF_0

Issue - State: closed - Opened by hwhh over 6 years ago - 3 comments

#14 - Lazy evaluation for PseudoBooleanParser in FormulaFactory

Issue - State: closed - Opened by axkr over 6 years ago - 14 comments

#13 - Set support, Forall / Exists / Element of

Issue - State: closed - Opened by HugoRiggs almost 7 years ago - 2 comments

#12 - [Feature request] implement QuineMcClusky algortihm

Issue - State: closed - Opened by axkr almost 7 years ago - 7 comments

#10 - cnf() reorders the variables

Issue - State: closed - Opened by axkr about 7 years ago - 6 comments

#9 - Minimization algorithm available?

Issue - State: closed - Opened by axkr about 7 years ago - 1 comment

#8 - unmodifiableSortedSet fix

Pull Request - State: closed - Opened by d-bischoff over 7 years ago

#7 - Formula immutable?

Issue - State: closed - Opened by palaziv over 7 years ago - 5 comments

#6 - Added javadoc and source generation for jars

Pull Request - State: closed - Opened by d-bischoff over 8 years ago

#5 - Release 1.1

Pull Request - State: closed - Opened by czengler over 8 years ago

#4 - CNFFactorisation throws null pointer exception.

Issue - State: closed - Opened by d-bischoff over 8 years ago - 2 comments

#3 - Pseudo-Boolean Constraint toString into Parser Roundtrip does not work.

Issue - State: closed - Opened by d-bischoff over 8 years ago - 5 comments

#2 - Fixed two bugs in the MiniCard implementation

Pull Request - State: closed - Opened by czengler over 8 years ago

#1 - Out of memory issue

Issue - State: closed - Opened by xiaomeyu almost 9 years ago - 9 comments