Cube 20 Project

Sources for Coset Solver and Two-Phase Solver

The original source code from Cube20 Source is written in CWeb format, which is not very convenient for developers, so I converted it to an easy-to-build C++ project. Fork it as you like.

Getting Started

These instructions will get you a copy of the project up and running on your local machine for development and testing purposes. See deployment for notes on how to deploy the project on a live system.

Prerequisites

Provided that you have cmake, g++, git in your linux-like system, if you do not have them, run:

apt-get install cmake g++ git

Compiling

Clone this repo and enter the directory

git clone https://github.com/YanzheL/cube20.git && cd cube20

Build the libraries and executables

mkdir build && cd build
cmake ..
make

Running the tests

Instructions on running twophase

Instructions on running hcoset.

Author

• Tomas Rokicki - Initial work - Cube20 Source

Acknowledgments

• Cube20 Project