Skip to content

zayenz/half-checking-propagators

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

4 Commits
 
 
 
 
 
 
 
 

Repository files navigation

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.

About

Half-checking propagators paper and code

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages