Skip to content

Minor Helpers Improvements

Sankalp Gambhir requested to merge github/fork/sankalpgambhir/assume-improve into main

Small changes:

  • assume now accepts an Iterable[Formula] instead of a single Formula (change coming from branch funcprog).
  • Fixed the issues with our console colours, changing every instance of BLACK to RESET.
  • Added a couple spaces in the printing where they were clearly missing

Merge request reports