main

This module is the main entry point for Clingspector, a tool for checking Clingo logic programs.

main ¶

main()

Main function to run Clingspector.

parse_arguments()

Set up command-line argument parsing.