v1.0.0

Submission to IEEE Conference on Decision and Control (CDC), 2024

• This version supports finding compatible CLF and CBF. The CBF is a scalar-valued function.
• Include examples on toy systems and a 13-state quadrotor.
• Can handle input limits in the form of {u | A * u <= c}