Code and Data for the paper "FFNSL: Feed-Forward Neural-Symbolic Learner"

Pure and highly customizable gamified to-do and habit-forming app.

PyTorch version of Stable Baselines, reliable implementations of reinforcement learning algorithms.

An implementation of the Augmented Random Search algorithm

The Z3 Theorem Prover