HiConfiT/hiconfit-core

Issues

• Upgrade DescriptiveFormatParser

  #95 opened 6 months ago by manleviet
  0

• Fix fma

  #94 opened a year ago by manleviet
  0

• Changes supporting HiDiag algorithm

  #92 opened a year ago by manleviet
  0

• Make fma-package generic

  #90 opened a year ago by manleviet
  0

• Improve Configurator

  #88 opened a year ago by manleviet
  0

• Complete website

  #1 opened 2 years ago by manleviet
  0

• Bug - Measure the runtime from one node label to a new node label

  #72 opened 2 years ago by manleviet
  0

• Support SATSolver

  #64 opened 2 years ago by manleviet
  0

• thread-safe diagnosis algorithms

  #59 opened 2 years ago by manleviet
  0

• WipeOutR_T

  #55 opened 2 years ago by manleviet
  0

• Fix the commonTimer

  #43 opened 2 years ago by manleviet
  0

• Migrate reorder from MF4ChocoSolver

  #39 opened 2 years ago by manleviet
  0

• Use BufferedWriter.newLine instead of "\n"

  #37 opened 2 years ago by manleviet
  0

• A binary system

  #73 opened 2 years ago by manleviet
  0

• Add a Writer mechanism into IConsistencyAlgorithm

  #74 opened 2 years ago by manleviet
  0

• Remove docs folder

  #85 opened a year ago by manleviet
  0

• Migrate out FMGenerator and KBStatistics

  #83 opened a year ago by manleviet
  0

• Migrate from CECore

  #81 opened a year ago by manleviet
  0

• Move the pruning part out of HSDAG and HSTree classes

  #76 opened a year ago by manleviet
  0

• CDRModels - CKB in C or in B

  #69 opened 2 years ago by manleviet
  0

• NotKB

  #68 opened 2 years ago by manleviet
  0

• NotKB for CameraKB, PCKB and RenaultKB

  #70 opened 2 years ago by manleviet
  0

• Migrate VariableUtils from CECore

  #66 opened 2 years ago by manleviet
  0

• Add profile to pom.xml

  #65 opened 2 years ago by manleviet
  0

• Uses generics for feature model

  #21 opened 2 years ago by manleviet
  0

• Support arbitrary cross-tree constraints in FeatureIDEParser

  #40 opened 2 years ago by manleviet
  0

• Support multi-threading in AbstractHSConstructor, HSTree and HSDAG

  #28 opened 2 years ago by manleviet
  0

• Test KBStatistics with some other feature models

  #30 opened 2 years ago by manleviet
  0

• Fix cleanUpNodes in HSDAG

  #31 opened 2 years ago by manleviet
  0

• @Cleanup and Closeable

  #32 opened 2 years ago by manleviet
  0

• Downgrade source code to 1.8

  #33 opened 2 years ago by manleviet
  0

• Add dispose to CA-CDR

  #34 opened 2 years ago by manleviet
  0

• Add CameraKB

  #35 opened 2 years ago by manleviet
  0

• Add DirectDiag

  #38 opened 2 years ago by manleviet
  0

• Add rootConstraint to FMKB

  #41 opened 2 years ago by manleviet
  0

• FMDebuggingModel inherits FMDiagnosisModel

  #45 opened 2 years ago by manleviet
  0

• Separate the process of posting and adding Choco constraints to a Constraint object with defining knowledge bases

  #46 opened 2 years ago by manleviet
  0

• Add IIntVarKB and IBoolVarKB

  #47 opened 2 years ago by manleviet
  0

• Add getConstraints and addAssignmentToLogOp

  #48 opened 2 years ago by manleviet
  0

• Add FMAssignmentsTranslator, IAssignmentTranslatable, and ILogOpCreatable

  #49 opened 2 years ago by manleviet
  0

• Delete IConstraintBuildable

  #50 opened 2 years ago by manleviet
  0

• Migrate Assignment from test-v2 to choco-kb-v2

  #51 opened 2 years ago by manleviet
  0

• Migrate TestSuite, TestCase from test-v2 to cdrmodel-v2

  #52 opened 2 years ago by manleviet
  0

• Clean up code

  #53 opened 2 years ago by manleviet
  0

• Fix convertToString of ConstraintUtils + Add convertToString to ChocoSolverUtils

  #54 opened 2 years ago by manleviet
  0

• Remove ":" from the messages of counters and timers

  #29 opened 2 years ago by manleviet
  0

• Feature Model Analysis

  #36 opened 2 years ago by manleviet
  1

• Support to identify all diagnoses in DirectDebug

  #42 opened 2 years ago by manleviet
  0

• Support multi-threading

  #22 opened 2 years ago by manleviet
  1

• Transparent between conflicts and diagnoses in the HStree and HSDAG algorithms

  #24 opened 2 years ago by manleviet
  0