Solve and visualize SAT formulas with DPLL
small test
very small illustration of GRU for text
Browse and manage applications
