Solving MAXSAT and saying a few words about it.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

12 lines
279 B

  1. [package]
  2. name = "cs451-proj"
  3. version = "0.1.0"
  4. authors = ["thajohns <thajohns@clarkson.edu>"]
  5. edition = "2018"
  6. # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
  7. [dependencies]
  8. colored = "1.9.3"
  9. rand = "0.7.3"
  10. nalgebra = "0.21.0"