Sharing how DkCoder uses codept

[jonahbeckford]

Thanks for releasing this tool!

I've made a repository with my codept solver loop. https://gitlab.com/diskuv/share/dkcoder-codept https://gitlab.com/dkml/build-tools/MlFront. Two reasons:

1. Hopefully it will be good to see how others are using your library.
2. I think of ModuleUniverse as a high-level API over codept/lib/. Maybe others can use something similar to make their own solver loops. In my case I needed something quite different than how codept/core/ uses codept/lib/.

If you want anything in that code I'll upstream/re-license/whatever.

[Octachron]

Thanks a lot ! I will have a look once I am less busy with the OCaml compiler (which will happen some day... surely?).

[jonahbeckford]

This has all been open-sourced and moved to https://gitlab.com/dkml/build-tools/MlFront.