Raul (May 13 2022 at 12:46): Raul (May 13 2022 at 12:46):Hi,
I'm curious about the library but it seems I'm having compatibility problems when installing with opam.
If I try to manually install it from git it also crashes. (I've got the fourcolor theorem package and the builtin-mccs+glpk solver)
What sould I do?
Karl Palmskog (May 13 2022 at 12:47):which version of coq-graph-theory are you trying to install? And what Coq version are you using?
Raul (May 13 2022 at 12:52):My Coq version is 8.14.0 and I'm trying to install from here (following the installation instructions, not sure which versions is it):
https://github.com/coq-community/graph-theory
Karl Palmskog (May 13 2022 at 12:53):I'm not sure the Git repo supports Coq 8.14. The only stable version currently known to work is 8.13.2
Karl Palmskog (May 13 2022 at 12:54):8.15 might work, but I wouldn't count on it.
Raul (May 13 2022 at 12:55):I'll check it, thanks!
Olivier Laurent (May 13 2022 at 12:57):It works for me with Coq 8.15.1 installed via opam, and coq-graph-theory installed from github but using the branch mc-1.13+1.14.
Karl Palmskog (May 13 2022 at 13:47):I think the project is in need of some maintenance and a release... I'll try to figure something out next week assuming the maintainer is fine with it.
Christian Doczkal (May 23 2022 at 13:16):It's great to see that there is some interest in the library. Unfortunately, I was quite preoccupied last week, but I will try to make a maintenance release soon.
Last updated: Feb 06 2023 at 05:03 UTC