Choco is [FOSS] dedicated to Constraint Programming. It is a Java library written under BSD license. It aims at describing hard combinatorial problems in the form of Constraint Satisfaction Problems and solving them with Constraint Programming techniques. The user models its problem in a declarative way by stating the set of constraints that need to be satisfied in every solution. Then, Choco solves the problem by alternating constraint filtering algorithms with a search mechanism. […] Choco is among the fastest CP solvers on the market. In 2013 and 2014, Choco has been awarded many medals at the MiniZinc challenge that is the world-wide competition of constraint-programming solvers.
Shaun Of The Dead, Hot Fuzz, and The World’s End are a trilogy. I had no idea! (via David Malone)
Summary: PostgreSQL’s dreaded unpredictable “vacuum” GC