published Published about 1 year ago
Satisfiability.jl: Satisfiability Modulo Theories in Julia
Julia
published Published almost 6 years ago
UPOsHam: A Python package for computing unstable periodic orbits in two-degree-of-freedom Hamiltonian systems
Python Jupyter Notebook
published Published almost 6 years ago

