Crate essential_read

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.