Skip to content

gorczyca/asp-benchmark-generator

Repository files navigation

GitHub release (latest by date including pre-releases)

Benchmark generator

A GUI tool for generation of configuration problem's encodings in ASP.

Please refer to asp_benchmark_generator-1.0-guide.pdf for a comprehensive guide on how to use the program.

A video tutorial can be found here: https://www.youtube.com/watch?v=Qh9Nyp1ObAQ

Requirements

  • Anaconda package manager

Setup

  1. Clone the repository to a local directory.

  2. Open terminal (or Anaconda Prompt), navigate to the directory with the cloned repository and create a new conda environment from file executing:

    (base) D:\Path\to\cloned\repo> conda env create --file environment.yml
  3. Activate the environment:

    (base) D:\Path\to\cloned\repo> conda activate genenv
  4. Execute the main.py script, eg:

    (genenv) D:\Path\to\cloned\repo> python main.py

About

ASP benchmark generator for configuration problem.

Resources

Stars

Watchers

Forks

Packages

No packages published

Languages