B-SAT is an interpreted programming language developed with Racket as an assignment for college. It’s weakly typed, with first-class functions and classes. It also comes with a defined type for instances of the SAT problem and a solver using a brute force strategy.