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