eenn 0.1.0

A hybrid neural-symbolic constraint solver with cognitive reasoning capabilities

1
2
3

[toolchain]

    channel    = "nightly"

    components = ["llvm-tools-preview", "rust-src", "rustc-dev"]