parsing

Parsers for user guides and logic programs.

Module for parsing user guides.

parse_user_guide(filename: str) -> tuple[set[Predicate], set[Predicate]]

Parse a user guide into sets of input and output predicates.

Module to parse a file into an AST.

parse_program(filename: str) -> list[AST]

Parse a file into a list of ASTs.

The command line parser for the project.

get_parser() -> ArgumentParser

Return the parser for command line options.