Learning the rust programming language for my Summer 2023 research project with CU Capra In preparation for working with easy-smt, a rust crate that provides APIs for buildimg SMT expressions and querying a solver for those expressions.
- install rust
6/15/23 - install rust extension for vscode
6/15/23 - build and compile a project
- write a small program in rust
- review SMT (satisfiability modulo theories)
- explore easy-smt, a rust-smt tool