Cassowary
From MaRDI portal
Cited in
(20)- Combination of convex theories: modularity, deduction completeness, and explanation
- QOCA
- Skyblue
- A refinement of an iterative orthogonal projection method
- Hildreth's algorithm with applications to soft constraints for user interface layout
- linprog
- Solving linear constraints over real and rational fields
- Processes and continuous change in a SAT-based planner
- SAPA
- Commons Math
- Zapato
- Which soft constraints do you prefer?
- ORCSolver
- HiRise
- Amulet
- Ibuild
- SUPPLE
- Extending linear relaxation for non-square matrices and soft constraints
- M\textbf{ath}SAT: Tight integration of SAT and mathematical decision procedures
- Domain specific high-level constraints for user interface layout
This page was built for software: Cassowary
