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?

which version of `coq-graph-theory`

are you trying to install? And what Coq version are you using?

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

I'm not sure the Git repo supports Coq 8.14. The only stable version currently known to work is 8.13.2

8.15 might work, but I wouldn't count on it.

I'll check it, thanks!

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.

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.

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