This section is intended for developers who want to modify the source code or build it themselves.
The core programming language of the software is C#. To build the project, you need to have .NET 10.0 installed.
The application can be built by running dotnet build in the Source folder.
Automated tests can be run via dotnet test in the Source folder.
To review the capabilities of the theorem prover, run this test. The main method requires two arguments:
- Path to the folder with inference rules.
- Path to the folder with object introduction rules.
Default values that should work after cloning can be found in launchSettings.json.
The following modules were used to prepare the large-scale experiments described in the thesis:
- Configuration Generation Launcher - Used to test generated configuration counts for input files (and memory usage). Can be used similarly to the Main Launcher, with default settings here. Copy these settings to the executable's folder. Output is printed to the console only.
- Input Generation Launcher - Generates input files. Running it creates around 4500 small files, totaling 4MB.
- Output Merging Launcher - Merges the final results. The
mainmethod requires one argument: the path to the folder with JSON outputs (scanned recursively).