Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-04-16 | Applied ocamlformat on the code | Sébastien Dailly | |
2022-02-07 | Added a motus solver | Sébastien Dailly | |
2022-02-07 | Renamed fonctions in application framework, updated doc | Sébastien Dailly | |
2022-02-07 | Rename application functions | Sébastien Dailly | |
2022-02-07 | Update application description | Sébastien Dailly | |
2022-02-07 | Update deps | Sébastien Dailly | |
2022-02-07 | Update application workflow | Sébastien Dailly | |
2022-02-07 | Changed the organisation in the applications | Sébastien Dailly | |