Skip to content
Snippets Groups Projects
Commit 3cd94c90 authored by MaZiFAU's avatar MaZiFAU
Browse files

Bug Fixes; Added GlobalFactDictionary; Formatting

Bug Fixes: reset with exposed facts, colission detection in CanonBallCalculator
Known bugs: cannot guarantee closed set for exposed Facts
Added GlobalFactDictionary for ease of use
parent 55af28e2
No related branches found
No related tags found
No related merge requests found
Showing with 33586 additions and 3665 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment