A web-based modeling editor

A web-based modeling editor

This project aims to deliver a web-based modeling editor similar to the piStar tool (https://www.cin.ufpe.br/~jhcp/pistar/) with added analysis capabilities via integration with OptiMathSat tool (https://optimathsat.disi.unitn.it/).

The idea is to convert the models to logic formulas (we already have algorithms for this), feed to formulas to the OptiMathSat tool, retrieve the solution and visualize it back on the model. 

Required skills: web development, javascript


Project Members: 

Hasan Can Erol
Burak Mert

Project Advisor: 

Fatma Başak Aydemir

Project Status: 

Project Year: 

  • Spring

Contact us

Department of Computer Engineering, Boğaziçi University,
34342 Bebek, Istanbul, Turkey

  • Phone: +90 212 359 45 23/24
  • Fax: +90 212 2872461

Connect with us

We're on Social Networks. Follow us & get in touch.