vendor/chalk-solve-0.14.0/Cargo.toml

   1 # THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
   2 #
   3 # When uploading crates to the registry Cargo will automatically
   4 # "normalize" Cargo.toml files for maximal compatibility
   5 # with all versions of Cargo and also rewrite `path` dependencies
   6 # to registry (e.g., crates.io) dependencies
   7 #
   8 # If you believe there's an error in this file please file an
   9 # issue against the rust-lang/cargo repository. If you're
  10 # editing this file be aware that the upstream Cargo.toml
  11 # will likely look very different (and much more reasonable)
  12
  13 [package]
  14 edition = "2018"
  15 name = "chalk-solve"
  16 version = "0.14.0"
  17 authors = ["Rust Compiler Team", "Chalk developers"]
  18 description = "Combines the chalk-engine with chalk-ir"
  19 readme = "README.md"
  20 keywords = ["compiler", "traits", "prolog"]
  21 license = "Apache-2.0/MIT"
  22 repository = "https://github.com/rust-lang/chalk"
  23 [dependencies.chalk-derive]
  24 version = "=0.14.0"
  25
  26 [dependencies.chalk-engine]
  27 version = "=0.14.0"
  28 optional = true
  29
  30 [dependencies.chalk-ir]
  31 version = "=0.14.0"
  32
  33 [dependencies.ena]
  34 version = "0.14.0"
  35
  36 [dependencies.itertools]
  37 version = "0.9.0"
  38
  39 [dependencies.petgraph]
  40 version = "0.5.0"
  41
  42 [dependencies.rustc-hash]
  43 version = "1.0.0"
  44
  45 [dependencies.tracing]
  46 version = "0.1"
  47
  48 [dev-dependencies]
  49
  50 [features]
  51 default = ["slg-solver", "recursive-solver"]
  52 recursive-solver = []
  53 slg-solver = ["chalk-engine"]