Dotdir is the daughter of 'dot', my old combined settings repository and setup script library.
A simple SAT solver for the SAT Solving KV of SS2023.
