[]
= "solhop-types"
= "0.1.0"
= ["Prateek Kumar <prateek@prateekkumar.in>"]
= "2018"
= """
Types for SolHOP
"""
= "https://docs.rs/solhop-types/"
= "https://solhop.org/"
= "https://github.com/solhop/solhop-types"
= "README.md"
= ["SAT", "MaxSAT", "Boolean", "Satisfiability", "SolHOP"]
= ["science"]
= "MIT"
= ["/.vscode/", "/.github/"]
[]
= "1.4"