• WPF

• Referenced in 1 article [sw37833]
• Foundation. Windows Presentation Foundation (WPF) is a UI framework for building Windows desktop applications ... including an application model, resources, controls, graphics, layout, data binding and documents. WPF uses...

• Matlab

• Referenced in 13544 articles [sw00558]
• MATLAB® is a high-level language and interactive...

• QOCA

• Referenced in 30 articles [sw00756]
• We describe an object-oriented constraint solving toolkit...

• Skyblue

• Referenced in 11 articles [sw07280]
• Skyblue: a multi-way local propagation constraint solver...

• MiniMaxSat

• Referenced in 36 articles [sw09732]
• MiniMaxSat: A New Weighted Max-SAT Solver. n...

• linprog

• Referenced in 4 articles [sw11614]
• linprog: Linear Programming / Optimization. This package can be...

• Commons Math

• Referenced in 5 articles [sw21447]
• Commons Math: The Apache Commons Mathematics Library. Commons...

• QUICKXPLAIN

• Referenced in 32 articles [sw28625]
• QUICKXPLAIN: preferred explanations and relaxations for over-constrained...

• HiRise

• Referenced in 7 articles [sw36184]
• A Scalable Linear Constraint Solver for User Interface...

• Cassowary

• Referenced in 11 articles [sw36189]
• The Cassowary linear arithmetic constraint solving algorithm. Linear...