gitaskhub
saolsen/first-order↗

First order predicate logic solver (needed for a game I'm writing)

Language · Racket
Ask anything about this repo to start.

By chatting or signing in you agree to the Terms and chat-message logging (revocable in History).