PicoSat is a learning project to familiarize myself with SAT solving and algorithms like DPLL, also to brush up on my C++. It is a relatively lightweight solver that only uses atomic cut and unit ...

This repository contains a complete, integrated suite of flight software for the AmbaSat-1 picosat. This software is not officially associated with the AmbaSat-1 makers, but instead the work of ...