Skip to content

Latest commit

 

History

History
31 lines (21 loc) · 1012 Bytes

README.md

File metadata and controls

31 lines (21 loc) · 1012 Bytes

Half-checking propagators

This repository contains the code for the paper "Half-checking propagators" by Mikael Zayenz Lagerkvist and Magnus Rattfeldt. The paper is available on aXiv and there is a blog post summarizing and with some context.

The code is located in the directory code/ and is a CMake C++ 17 project. The paper as submitted to arXiv is located in paper/.

Licenses

  • The code is licensed under the MIT license.
  • The paper is licensed under CC-BY-SA-4.0.

Relevant license texts are available in the subdirectories.

Building and running the experiments

Gecode 6.2.0 is required to be installed on the system before building. The code has only been tested on a Mac, with some support for building on Linux.

First, create a new build directory code/build. From within build, use

$ cmake ..
$ make

to build the application.