Hacker News
- Clang Static Analyzer and the Z3 constraint solver https://www.cambus.net/clang-static-analyzer-and-the-z3-constraint-solver/ 9 comments
- Constraint Solver (2015) https://www.mattkeeter.com/projects/constraints/ 23 comments
- Humans are not constraint solvers http://amigueloferreira.pt/humans-are-no-constraint-solvers/ 27 comments
- Grappling with Infinity in Constraint Solvers https://tuzz.tech/blog/grappling-with-infinity 5 comments
- Building a constraint programming solver in Julia http://opensourc.es/blog/constraint-solver-1 20 comments
- Reversing the Petya ransomware with constraint solvers http://0xec.blogspot.com/2016/04/reversing-petya-ransomware-with.html 41 comments
- Show HN: Generate guitar tablature using a constraint solver https://github.com/senshu/TablaZinc 26 comments
- Grid Style Sheets – Replace CSS with a Constraint-Solver http://gridstylesheets.org/ 96 comments
- OptaPlanner – constraint solver for optimizing planning and scheduling problems https://www.optaplanner.org/ 112 comments
- Alloy*: A Higher-Order Relational Constraint Solver https://aleksandarmilicevic.github.io/hola/ 19 comments
- Show HN: A pure Swift port of the Cassowary linear constraints solver https://github.com/tribalworldwidelondon/CassowarySwift 5 comments
- JIT Fuzzing Solver: experimental constraint solver using coverage-guided fuzzing https://github.com/delcypher/jfs#jfs 2 comments
Lobsters
- Grappling with infinity in constraint solvers https://tuzz.tech/blog/grappling-with-infinity 2 comments compsci , formalmethods , math , programming
- An Efficient SMT Solver for String Constraints (2016) http://homepage.divms.uiowa.edu/~ajreynol/fmsd16.pdf 2 comments formalmethods , javascript , pdf
- A constraint solver for minesweeper, implemented in Oz/Mozart https://www.info.ucl.ac.be/~pvr/minesweeper.pdf 3 comments pdf , programming
- Holmes: a constraint-solver https://github.com/i-am-tom/holmes#%EF%B8%8F%EF%B8%8F-holmes 5 comments coding
- Holmes: a constraint-solver https://github.com/i-am-tom/holmes#%EF%B8%8F%EF%B8%8F-holmes 8 comments programming
- Holmes: a constraint-solver https://github.com/i-am-tom/holmes#%EF%B8%8F%EF%B8%8F-holmes 12 comments haskell
- Cassowary constraint solver https://8th-dev.com/forum/index.php/topic,2230.0.html 8 comments forth
- Building a constraint solver from scratch https://opensourc.es/blog/constraint-solver-1 6 comments programming
- Constraint Solver in Haskell (CAD, Haste) http://www.mattkeeter.com/projects/constraints/ 17 comments haskell
- Practical equality constraint solver in the wild! http://stackoverflow.com/questions/29823345/lists-of-fixed-length-and-type-literals/29826322 5 comments haskell
- Geometric Constraint Solvers Part 1: Algebraic Expressions http://adventures.michaelfbryan.com/posts/constraints-part-1-expressions/?utm_source=reddit&utm_medium=social&utm_campaign=constraint-solver-1-expression-trees 14 comments rust
- Reversing the petya ransomware with constraint solvers http://0xec.blogspot.com.es/2016/04/reversing-petya-ransomware-with.html?m=1 9 comments programming
- i just made an equation solver using constraint propogation in style of sicp https://github.com/Immediateduck/pythonProject 20 comments python
- Reversing Petya ransomware decryption with Z3 constraint solver http://0xec.blogspot.com/2016/04/reversing-petya-ransomware-with.html 15 comments sysadmin
- CSS polyfills from the future - Replace CSS with a Constraint-Solver http://gridstylesheets.org/ 4 comments webdev
- Optimal Subset Selection in C++ with OR-Tools Constraint Solvers https://ldg.io/blogs/cp-solver 9 comments cpp
- lithdew/casso: A fast Go implementation of the Cassowary constraint solver for laying out UIs. https://github.com/lithdew/casso 3 comments golang
- Challenges and tricks of multithreading OptaPlanner (open source constraint solver) without sacrificing incremental delta calculations https://www.optaplanner.org/blog/2018/07/03/agiantleapforwardwithmultithreadedincrementalsolving.html 4 comments java
- I've been modernising a C# port of Cassowary, the constraint solver powering OS X Auto Layout, and bringing its power to WPF. https://github.com/simoncowen88/cassowarynet 17 comments csharp
- A new Constraint Solver in Python for the vehicle routing problem (VRP), TSP, employee rostering, school timetabling, ...: OptaPy (open source) https://www.optaplanner.org/blog/2021/10/05/anewaiconstraintsolverforpythonoptapy.html 30 comments python
- [LIB] mad-props: Generalized propagator-based monadic constraint solver: Build your own solvers for Sudoku, NQueens, other CSPs. https://github.com/chrispenner/mad-props 5 comments haskell
- Grid Style Sheets: GSS reimagines CSS layout & replaces the browser’s layout engine with one that harnesses the Cassowary Constraint Solver — the same algorithm Apple uses to compute native layout. http://gridstylesheets.org/ 5 comments webdev