Graph Theory

Open Semantic Technology for Intelligent Systems (OSTIS)

Components

Knowledge base

Solver

Graph Theory Book

Graph editor

Installation

Download project

git clone https://github.com/ostis-apps/ostis-discrete-math.git
cd ostis-discrete-math

Install pipx using pipx installation guide if not already installed.

Ensure you are using CMake version 3.24 or newer. Verify your version with:

cmake --version

To upgrade CMake, run:

# Use pipx to install cmake if not already installed
pipx install cmake
pipx ensurepath
# relaunch your shell after installation
exec $SHELL

Install Ninja generator for CMake, to use sc-machine CMake presets:

# Use pipx to install ninja if not already installed
pipx install ninja
pipx ensurepath
# relaunch your shell after installation
exec $SHELL

Install Conan, to build project with Conan-provided dependencies:

# Use pipx to install conan if not already installed
pipx install conan
pipx ensurepath
# relaunch your shell after installation
exec $SHELL

Install and build submodules:

./scripts/install.sh

Install dependencies for problem solver:

conan install . -s build_type=Debug --build=missing

Build problem solver:

cmake --preset debug-conan
cmake --build --preset debug

Build knowledge base:

cd scripts
./build_kb.sh

Start project:

cd scripts
./run_sc_machine.sh

Start web-server:

cd scripts 
./run_sc_web.sh

Open in browser http://localhost:8000/