Main repository for OSTIS Geometry
#Terminal
cd geometry.ostis
pip3 install mkdocs markdown-include mkdocs-material mkdocs-i18n
mkdocs serve
Then open http://127.0.0.1:8002/ in your browser
#Terminal
git clone https://github.com/ostis-apps/geometry.ostis.git --recursive
cd geometry.ostis
git checkout develop
cd scripts
./install_platform.sh
# Launch knowledge processing machine
./scripts/run_cxx_ps.sh
# *in another terminal*
# Launch semantic web interface at localhost:8000
./scripts/run_sc_web.sh
Then open localhost:8000
./scripts/build_platform.sh
./scripts/build_sc_web.sh