logic-ng / LogicNG

The Next Generation Logic Library

logic-ng/LogicNG Issues

Lazy evaluation for PseudoBooleanParser in FormulaFactory
Closed 3 months ago14
Getting @CNF_RESERVED_XXX instead of literals for big model
Closed 3 months ago4
Upgrade antlr dependencies version 4.13.1
Closed 6 months ago3
Is it possible to have saveState() and loadState() in MaxSATSolver?
Closed 6 months ago1
Parallel computing
Closed 4 years ago4
Bump to ANTLR runtime version 4.10.1
Closed a year ago7
Quine-McCluskey Solver Inefficient for Formulas with Many Input Variables
Closed 2 years ago2
Caused by: java.lang.ClassCastException: java.util.HashMap$Node cannot be cast to java.util.HashMap$TreeNode
Closed 2 years ago3
What is the best way to represent a `BooleanFunction` in LogicNG?
Closed 2 years ago
Improve discoverability of features
Closed 2 years ago5
How to create BDD ?
Closed 2 years ago3
What are valid variable names (for parsing)?
Closed 2 years ago2
Out of memory issue
Closed 5 years ago9
[bug] Error when exporting single-clause cnf formula to dimacs file
Closed 3 years ago2
BDD Kernel & Factory usage
Closed 4 years ago3
Memory requirements
Closed 4 years ago10
miniSat.enumerateAllModels() returns assignments with additional variables
Closed 4 years ago2
Is there xor?
Closed 4 years ago7
Add JavaDoc to "phase"
Closed 4 years ago6
Is it safe to use a formula multiple times?
Closed 4 years ago1
Changing variable value after parsing formula
Closed 4 years ago5
[Question] enumerateAllModels() method - Is there an Option for order of output?
Closed 5 years ago6
[Question] How to reduce syntactic size of a formula
Closed 5 years ago6
Performance of QMC
Closed 5 years ago5
enumerateAllModels with additionalVariables
Closed 5 years ago1
When converting string formula, getting formula containing ~@RESERVED_CNF_0
Closed 6 years ago3
Set support, Forall / Exists / Element of
Closed 6 years ago2
[Feature request] implement QuineMcClusky algortihm
Closed 6 years ago7
Example how to get all true/false combinations of variables which fulfill a boolean formula?
Closed 7 years ago2
cnf() reorders the variables
Closed 7 years ago6
Minimization algorithm available?
Closed 7 years ago1
Formula immutable?
Closed 7 years ago5
CNFFactorisation throws null pointer exception.
Closed 8 years ago2
Pseudo-Boolean Constraint toString into Parser Roundtrip does not work.
Closed 8 years ago5