diff options
Diffstat (limited to 'vendor/chalk-solve-0.87.0/README.md')
| -rw-r--r-- | vendor/chalk-solve-0.87.0/README.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/vendor/chalk-solve-0.87.0/README.md b/vendor/chalk-solve-0.87.0/README.md new file mode 100644 index 000000000..bed41761d --- /dev/null +++ b/vendor/chalk-solve-0.87.0/README.md @@ -0,0 +1,3 @@ +A library that defines the rules that translates Rust IR to logical predicates. + +See [Github](https://github.com/rust-lang/chalk) for up-to-date information. |