/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 www.msoos.org
On SAT/SMT Model Counting | Wonderings of a SAT geek
| | zayenz.se
Solving the Partridge Packing Problem using MiniZinc - zayenz.se
7.4 parsecs away

Travel
| | The Partridge Packing Problem is a packing puzzle that was originally proposed by Robert T.
| | www.cs.uic.edu
Herbrand Logic -- First-order Syntax and Herbrand Semantics
6.9 parsecs away

Travel
| |
| | matbesancon.xyz
Tackling the cutting stock problem: part 1, problem exploration |
5.9 parsecs away

Travel
| | Solving a cutting stock problem step by step using Julia and JuMP
| | dehora.net
On Rust - Bill de hÓra
33.4 parsecs away

Travel
| Back in 2013, I started a series of posts on programming languages I found interesting. One of the languages I wanted to write about at that time was Rust. As often happens, life got in the way, and it's only now that I'm coming round to a long overdue post. This is one of a series of posts on programming languages and you can read more about thathere.