Skip to content
This repository has been archived by the owner on May 23, 2022. It is now read-only.
/ ChocoKB Public archive

A Maven package for Configuration Knowledge Bases in Choco Solver

License

Notifications You must be signed in to change notification settings

manleviet/ChocoKB

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

55 Commits
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

ChocoKB - at.tugraz.ist.ase.choco-kb

Migrated to https://github.com/manleviet/CA-CDR-V2

A Maven package for Configuration Knowledge Bases in Choco Solver

Knowledge bases:

  1. PC
  2. Renault
  3. Feature Models

How to use

Add the below script in your pom file:

<dependency>
  <groupId>at.tugraz.ist.ase</groupId>
  <artifactId>choco-kb</artifactId>
  <version>1.2</version>
</dependency>

And the below script in the settings.xml file:

<?xml version="1.0" encoding="UTF-8"?>
<settings xmlns="https://maven.apache.org/SETTINGS/1.0.0"
          xmlns:xsi="https://www.w3.org/2001/XMLSchema-instance"
          xsi:schemaLocation="https://maven.apache.org/SETTINGS/1.0.0 https://maven.apache.org/xsd/settings-1.0.0.xsd">
    <activeProfiles>
        <activeProfile>github</activeProfile>
    </activeProfiles>

    <profiles>
        <profile>
            <id>github</id>
            <repositories>
                <repository>
                    <id>central</id>
                    <url>https://repo1.maven.org/maven2</url>
                </repository>
                <repository>
                    <id>github</id>
                    <url>https://maven.pkg.github.com/manleviet/*</url>
                </repository>
            </repositories>
        </profile>
    </profiles>
    
    <servers>
    <server>
      <id>github</id>
      <username>USERNAME</username>
      <password>TOKEN</password>
    </server>
  </servers>
</settings>

Replacing USERNAME with your GitHub username, and TOKEN with your personal access token (see Creating a personal access token).