September 8, 2005

SMT & Sudoku

Posted in C++, Computers, Life, Mathematics, Programming, Uncategorized at 10:21 am by pmatos

Hi all,

Inspired by my previous post I’ve decided to create SudokuSMT. A Sudoku to SMT enconding program that converts Sudoku problems into MSAT files to be solved by an SMT solved that understands these kinds of files. You can find more info on my page.

Here’s yesterdays Metro problem solved (Portuguese Ed.).

81 assignments:

var_1_1 = 3.000000
var_2_1 = 1.000000
var_3_1 = 9.000000
var_4_1 = 6.000000
var_5_1 = 8.000000
var_6_1 = 5.000000
var_7_1 = 7.000000
var_8_1 = 4.000000
var_9_1 = 2.000000
var_1_2 = 8.000000
var_2_2 = 6.000000
var_3_2 = 7.000000
var_4_2 = 4.000000
var_5_2 = 9.000000
var_6_2 = 2.000000
var_7_2 = 5.000000
var_8_2 = 3.000000
var_9_2 = 1.000000
var_1_3 = 5.000000
var_2_3 = 2.000000
var_3_3 = 4.000000
var_4_3 = 1.000000
var_5_3 = 7.000000
var_6_3 = 3.000000
var_7_3 = 8.000000
var_8_3 = 9.000000
var_9_3 = 6.000000
var_1_4 = 7.000000
var_2_4 = 8.000000
var_3_4 = 3.000000
var_4_4 = 2.000000
var_5_4 = 1.000000
var_6_4 = 6.000000
var_7_4 = 9.000000
var_8_4 = 5.000000
var_9_4 = 4.000000
var_1_5 = 6.000000
var_2_5 = 4.000000
var_3_5 = 1.000000
var_4_5 = 9.000000
var_5_5 = 5.000000
var_6_5 = 8.000000
var_7_5 = 3.000000
var_8_5 = 2.000000
var_9_5 = 7.000000
var_1_6 = 2.000000
var_2_6 = 9.000000
var_3_6 = 5.000000
var_4_6 = 7.000000
var_5_6 = 3.000000
var_6_6 = 4.000000
var_7_6 = 6.000000
var_8_6 = 1.000000
var_9_6 = 8.000000
var_1_7 = 1.000000
var_2_7 = 5.000000
var_3_7 = 2.000000
var_4_7 = 8.000000
var_5_7 = 6.000000
var_6_7 = 9.000000
var_7_7 = 4.000000
var_8_7 = 7.000000
var_9_7 = 3.000000
var_1_8 = 9.000000
var_2_8 = 7.000000
var_3_8 = 8.000000
var_4_8 = 3.000000
var_5_8 = 4.000000
var_6_8 = 1.000000
var_7_8 = 2.000000
var_8_8 = 6.000000
var_9_8 = 5.000000
var_1_9 = 4.000000
var_2_9 = 3.000000
var_3_9 = 6.000000
var_4_9 = 5.000000
var_5_9 = 2.000000
var_6_9 = 7.000000
var_7_9 = 1.000000
var_8_9 = 8.000000
var_9_9 = 9.000000

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: