python

Who owns the fish?

Series: Solving puzzles with Z3

Using the fantastic Z3 for fun.

Basics of network science with Networkx - 2

Series: Network Science

Second instalment in the exploratory data analysis of graphs

Basics of network science with Networkx - 1

Series: Network Science

First instalment in the exploratory data analysis of graphs

Solving Squares Sudoku using Z3

Series: Solving puzzles with Z3

Using the fantastic Z3 for fun.

Solving 3-In-A-Row using Z3

Series: Solving puzzles with Z3

Using the fantastic Z3 for fun.

Solving Kakuro using Z3

Series: Solving puzzles with Z3

Using the fantastic Z3 for fun.

Solving Calcudoku using Z3

Series: Solving puzzles with Z3

Using the fantastic Z3 for fun.

Solving a Cryptarithmetic puzzle using Z3

Series: Solving puzzles with Z3

Using the fantastic Z3 for fun.

Solving Kakurasu using Z3

Series: Solving puzzles with Z3

Using the fantastic Z3 for fun.

Solving Skyscrapers using Z3

Series: Solving puzzles with Z3

Using the fantastic Z3 for fun.

Solving Numbrix using Z3

Series: Solving puzzles with Z3

Using the fantastic Z3 for fun.

Loading IMDB data into SQLite in 200 lines of Python

You will be surprised how incredibly useful and powerful SQLite is.