aboutsummaryrefslogtreecommitdiff
path: root/lib/application/application.ml
AgeCommit message (Collapse)Author
2022-02-07Added a motus solverSébastien Dailly
2022-02-07Renamed fonctions in application framework, updated docSébastien Dailly
2022-02-07Rename application functionsSébastien Dailly
2022-02-07Update application descriptionSébastien Dailly
2022-02-07Update application workflowSébastien Dailly
2022-02-07Changed the organisation in the applicationsSébastien Dailly