Given an input PQE in SMT-LIB format and an optional config file, PolyQEnt finds a valuation of the unknown variables in the input such that all the PQEs are satisfied. PolyQEnt is written in Python ...

Cube began developing the Aerium C:68X back in 2020, quietly refining concepts and shapes long before the wider world knew what was coming. By the time the first prototypes were revealed in 2022, it ...

This project implements PANKH (Panel Analysis for uNsteady Kinematics of Hovering airfoils), a solver designed to study the aerodynamics of flapping foils. PANKH is a low-fidelity solver that solves ...