Expand description
Library to read predicates and solutions.
Provides functions to read and optionally deserialize predicates and solutions in JSON format.
Functionsยง
- deserialize_
contract - Deserialize a contract from bytes.
- deserialize_
solution - Deserialize a solution from bytes.
- read_
bytes - Read the contents of a file as bytes.
- read_
bytes_ dir - Read the contents of files in a directory as a vector of bytes.
- read_
contract - Read and deserialize predicates from a file.
- read_
contracts - Read and deserialize contracts in a directory.
- read_
solution - Read and deserialize a solution from a file.
- read_
solutions - Read and deserialize solutions in a directory.