coq-graph-theory.opam

opam-version: "2.0"
maintainer: "christian.doczkal@mpi-sp.org"
version: "dev"

homepage: "https://github.com/coq-community/graph-theory"
dev-repo: "git+https://github.com/coq-community/graph-theory.git"
bug-reports: "https://github.com/coq-community/graph-theory/issues"
license: "CECILL-B"

synopsis: "General graph theory definitions and results in Coq and MathComp"
description: """
Formalized general graph theory definitions and results using Coq and
the Mathematical Components library, including various standard results
from the literature (e.g., Menger's Theorem and Hall's Marriage Theorem)."""

build: ["dune" "build" "-p" name "-j" jobs]
depends: [
  "dune" {>= "3.5"}
  "coq" {>= "8.18"}
  "coq-mathcomp-ssreflect" {>= "2.0"}
  "coq-mathcomp-algebra" 
  "coq-mathcomp-finmap" 
  "coq-hierarchy-builder" {>= "1.5.0"}
]

tags: [
  "category:Computer Science/Graph Theory"
  "keyword:graph theory"
  "keyword:minors"
  "keyword:treewidth"
  "keyword:algebra"
  "logpath:GraphTheory.core"
]
authors: [
  "Christian Doczkal"
  "Damien Pous"
]