Chương trình theo www.casadi.org

Một hệ thống đại số máy tính tối giản được viết bằng C++ khép kín thực hiện sự khác biệt tự động bằng cách chuyển đổi mã nguồn ở chế độ chuyển tiếp và ngược lại trên đồ thị tính toán có giá trị ma trận thưa thớt.