TACO

swMATH7668MaRDI QIDQ19686FDOQ19686

Author name not available (Why is that?)

Described by source

• TACO: a toolkit for AMPL control optimization

Cited In (4)

• Alloy*: a general-purpose higher-order relational constraint solver
• Enhancing Symbolic Execution of Heap-Based Programs with Separation Logic for Test Input Generation
• Efficient bounded model checking of heap-manipulating programs using tight field bounds
• A Study of Symmetry Breaking Predicates and Model Counting

This page was built for software: TACO