logic-ng/LogicNG

Issues

• Remove influence of one formula from another

  #54 opened 3 months ago by jniedersuess
  2

• Please support or (<|>) Deriver?

  #56 opened 3 months ago by oriming
  2

• Lazy evaluation for PseudoBooleanParser in FormulaFactory

  #14 opened 8 months ago by axkr
  14

• Getting @CNF_RESERVED_XXX instead of literals for big model

  #51 opened 8 months ago by DarioRomano
  4

• Upgrade antlr dependencies version 4.13.1

  #48 opened a year ago by franzmathauser
  3

• Is it possible to have saveState() and loadState() in MaxSATSolver?

  #36 opened a year ago by tendyliu
  1

• Parallel computing

  #24 opened 4 years ago by SPAstef
  4

• Bump to ANTLR runtime version 4.10.1

  #45 opened 2 years ago by axkr
  7

• Quine-McCluskey Solver Inefficient for Formulas with Many Input Variables

  #42 opened 2 years ago by zeirew
  2

• Caused by: java.lang.ClassCastException: java.util.HashMap$Node cannot be cast to java.util.HashMap$TreeNode

  #35 opened 2 years ago by PHMT-CW
  3

• What is the best way to represent a `BooleanFunction` in LogicNG?

  #31 opened 2 years ago by axkr
  0

• Improve discoverability of features

  #32 opened 2 years ago by rohte
  5

• How to create BDD ?

  #38 opened 2 years ago by axkr
  3

• What are valid variable names (for parsing)?

  #37 opened 3 years ago by rohte
  2

• Out of memory issue

  #1 opened 6 years ago by xiaomeyu
  9

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

  #33 opened 3 years ago by tnstrssnr
  2

• BDD Kernel & Factory usage

  #29 opened 4 years ago by PHMT-CW
  3

• Memory requirements

  #28 opened 4 years ago by exander77
  10

• miniSat.enumerateAllModels() returns assignments with additional variables

  #21 opened 4 years ago by abdelal
  2

• Is there xor?

  #26 opened 4 years ago by exander77
  7

• Add JavaDoc to "phase"

  #30 opened 4 years ago by koppor
  6

• Is it safe to use a formula multiple times?

  #27 opened 4 years ago by exander77
  1

• Changing variable value after parsing formula

  #25 opened 5 years ago by m-ajmone
  5

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

  #16 opened 5 years ago by axkr
  6

• [Question] How to reduce syntactic size of a formula

  #22 opened 5 years ago by yanntm
  6

• Performance of QMC

  #23 opened 5 years ago by yanntm
  5

• enumerateAllModels with additionalVariables

  #19 opened 5 years ago by d-bischoff
  1

• When converting string formula, getting formula containing ~@RESERVED_CNF_0

  #15 opened 6 years ago by hwhh
  3

• Set support, Forall / Exists / Element of

  #13 opened 6 years ago by HugoRiggs
  2

• [Feature request] implement QuineMcClusky algortihm

  #12 opened 6 years ago by axkr
  7

• Example how to get all true/false combinations of variables which fulfill a boolean formula?

  #11 opened 7 years ago by axkr
  2

• cnf() reorders the variables

  #10 opened 7 years ago by axkr
  6

• Minimization algorithm available?

  #9 opened 7 years ago by axkr
  1

• Formula immutable?

  #7 opened 7 years ago by palaziv
  5

• CNFFactorisation throws null pointer exception.

  #4 opened 8 years ago by d-bischoff
  2

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

  #3 opened 8 years ago by d-bischoff
  5