- Bern, Switzerland
Stars
Python library for solving Binary Puzzles using Z3.
OpenCutList is a SketchUp Extension for automating the generation of cut lists for woodworking projects.
Python library for solving Binary Puzzles using Z3.
OpenCutList is a SketchUp Extension for automating the generation of cut lists for woodworking projects.