6 projects
bbqsearch
General configurable queue-based search algorithm for teaching AI.
bbpylib
A personal Python utility library.
pyprover9
Colab wrapper for the Prover9 theorem prover
bs-logic
Utilities for implementing logical representaions and reasoning systems
karaml
KARaML Tools wrapper package
bb-test
Brandon's test package
