// Learn more about moon.mod configuration:
// https://docs.moonbitlang.com/en/latest/toolchain/moon/module.html
//
// To add a dependency, run this command in your terminal:
//   moon add moonbitlang/x
//
// Or manually declare it in `import`, for example:
// import {
//   "moonbitlang/x@0.4.6",
// }

name = "Lyhdsba/fusekite"

version = "0.2.0"

readme = "README.md"

repository = "https://github.com/Lyhdsba/Fusekite"

license = "Apache-2.0"

keywords = [ "boolean-logic", "electronics", "logic-synthesis", "moonbit" ]

preferred_target = "wasm"

description = "Bounded Boolean and bit-vector reasoning with small-circuit planning in MoonBit"
