manleviet

CA-CDR

Consistency-based Algorithms for Conflict Detection and Resolution

CDRModel

Models for Conflict Detection and Resolution

ChocoKB

A Maven package for Configuration Knowledge Bases in Choco Solver

DiagLearn

DiagLearn is a machine learning program able to learn and predict variable value orderings as input for diagnosis algorithms such as FastDiag.

FeatureModelPackage

A Maven package for feature models

CECore

A Maven package for core components of a knowledge-based configuration environment

benchmarking

This repo is hosting a small benchmark with examples on how to use the tool as final user or backend developer

CommonPackage

A Maven package for utility functions

CSP2ChocoTranslator

A translator enables converting CSP constraints into Choco Solver commands.

DynamicallyAddRemoveConstraints

Example for dynamically add/remove constraints

easysoc-firrtl

Firrtl Syntax highlighting, Code folding and Navigate to corresponding Chisel code

eo-intellij-plugin

Syntax Highlighting Intellij IDEA Plugin for EO Programming Language

eval-package

A Maven package for evaluation

FastDiagP_Prover

A program proves that FastDiagP's LookAhead function can generate all possible consistency checks needed by FastDiag.

FastDiagPEvaluation_copy

FeatureIDE

An extensible framework for feature-oriented software development

flamapy.github.io

Serif is a multi page business theme for Jekyll.

FlexDiagTest

FlexDiagTest

FMGenerator

Feature Model Generator

KBStatistics

A Knowledge Base Statistics Tool

manleviet

manleviet.github.io

Documentation of CA-CDR-V2, CECore and other apps

NegativeConstraints

How to deal with negative constraints and reif constraints.

NeSy4ConDetect

open-kb-hub

A collection of reusable, multi-format knowledge bases from our published papers

preferences-example

PyFastDiagP

Python implementation of FastDiagP

PyFastDiagP-ver2

Python FastDiagP implementation

pysat_metamodel

This repository will host the pysat metamode and its operation implementation

VVOExample