caiks / alignmentc

C++ implementation of aspects of the theory of Aligned Induction

AlignmentC

The AlignmentC repository is a literal C++ implementation of some of the set-theoretic functions and structures described in the paper The Theory and Practice of Induction by Alignment at https://greenlake.co.uk/.

The AlignmentC repository is designed to be used with the fast implementation of practicable inducers in the AlignmentRepaC repository.

Download

The AlignmentC module requires modern C++ version 17 or later to be installed.

For example, in Ubuntu bionic (18.04),

sudo apt-get update -y && sudo apt install -y git g++ cmake

Then download the zip file or use git to get the rapidjson and AlignmentC repositories -

git clone https://github.com/Tencent/rapidjson.git
git clone https://github.com/caiks/AlignmentC.git

Build

Ubuntu debug -

mkdir AlignmentC_build
cd AlignmentC_build
cmake -DCMAKE_BUILD_TYPE=DEBUG ../AlignmentC
make

Ubuntu release -

mkdir AlignmentC_build
cd AlignmentC_build
cmake -DCMAKE_BUILD_TYPE=RELEASE ../AlignmentC
make

Windows debug -

mkdir AlignmentC_build
cd /d AlignmentC_build
"C:\Program Files\CMake\bin\cmake" -G "Visual Studio 14 2015" -A x64 ../AlignmentC
"C:\Program Files\CMake\bin\cmake" --build . --config Debug

Windows release -

mkdir AlignmentC_build
cd /d AlignmentC_build
"C:\Program Files\CMake\bin\cmake" -G "Visual Studio 14 2015" -A x64 ../AlignmentC
"C:\Program Files\CMake\bin\cmake" --build . --config Release

Usage

Ubuntu -

cd ..
mkdir AlignmentC_ws
cd AlignmentC_ws
../AlignmentC_build/AlignmentC_test 

Windows debug -

cd ..
mkdir AlignmentC_ws
cd AlignmentC_ws
..\AlignmentC_build\Debug\AlignmentC_test.exe

Windows release -

cd ..
mkdir AlignmentC_ws
cd AlignmentC_ws
..\AlignmentC_build\Release\AlignmentC_test.exe