published Published about 2 years ago
Satisfiability.jl: Satisfiability Modulo Theories in Julia
Julia
published Published over 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 7 years ago

