Graph Theory

Open Semantic Technology for Intelligent Systems (OSTIS)

Components

Knowledge base

Solver

Graph Theory Book

Graph editor

Installation

Download and build project

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

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/