Software and Data

Synthetic tableaux: minimal tableau search heuristics

https://github.com/atomczyk/DDS

https://github.com/kiryk/random-for