If I had another year to work on *Logic for Programmers* I'd definitely split "satisfaction solvers" (SAT, SMT) and "optimization solvers" (MibiZinc, ORTools) into separate chapters. Similar high-level concepts, but totally different tools, methods, and cultures

I love Video Games

madness, i love it. with gpt-4o-mini, even.

continuing my adventure with function calling. gpt-4o is a better at this type of stuff. a mildly creative person could cause fucking mayhem. or save an immense amount of fuel, time, etc. either way, it would take a bit of work, but.. it's easy to paint yourself into a panic thinking about this.

Number Chain

But : tracer un chemin de la cellule en haut à gauche à la cellule en bas à droite, en ne faisant que des mouvements orthogonaux.

Tous les nombres de 1 à x seront inclus, mais une seule fois, et ils peuvent apparaître dans n'importe quel ordre.

#python #z3solver #orTools #playwright

Permission granted: A role mining model

We implement a recently published role mining model using both constraint programming and mixed integer linear programming, then compare their relative performance while solving several examples.

www.solvermax.com/blog/permiss...

#orms #pyomo #ortools

GoogleのORToolsがColaboで使えない。

@napari.fosstodon.org.ap.brid.gy has someone tried to visualise polytopes using this or are you aware if napari would be suitable to visualise them (from systems of inequalities ala ortools)?

Hey #dataviz geeks, are there any nice visualisations for linear programming? I'm using ortools which uses scip underneath and I'd like to visualise the polytopes nicely.

I've been playing a bit with the ortools linear programming solver (takes my back to my uni days memories) and I wonder if there are any tools that can generate polytope diagrams out of it?