ostis-apps/ostis-discrete-math

Intelligent help system for Discrete Math

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 git@github.com:ostis-apps/ostis-discrete-math.git
cd ostis-discrete-math/scripts 
./prepare.sh     

Build knowledge base

cd scripts 
./build_kb.sh 

Start project

cd scripts 
./run_sc_server.sh 

Start web-server

cd scripts 
./run_sc_web.sh   

Open in browser http://localhost:8000/