Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Goofing around with sudoku solver #1141

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
+209 −27
Draft

Goofing around with sudoku solver #1141

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

55 changes: 28 additions & 27 deletions Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,32 +4,33 @@ codegen-units = 1

[workspace]
members = [
"crates/is_default_derive_macro",
"crates/progress_bar_derive_macro",
"crates/spfs",
"crates/spfs-encoding",
"crates/spfs-proto",
"crates/spk-build",
"crates/spk-cli/*",
"crates/spfs-cli/*",
"crates/spk-exec",
"crates/spk-config",
"crates/spk-launcher",
"crates/spk-schema",
"crates/spk-schema/crates/*",
"crates/spk-solve",
"crates/spk-solve/crates/*",
"crates/spk-storage",
"crates/spk",
"crates/is_default_derive_macro",
"crates/progress_bar_derive_macro",
"crates/spfs",
"crates/spfs-encoding",
"crates/spfs-proto",
"crates/spk-build",
"crates/spk-cli/*",
"crates/spfs-cli/*",
"crates/spk-exec",
"crates/spk-config",
"crates/spk-launcher",
"crates/spk-schema",
"crates/spk-schema/crates/*",
"crates/spk-solve",
"crates/spk-solve/crates/*",
"crates/spk-storage",
"crates/spk",
"crates/sudoku",
]
resolver = "2"

[workspace.package]
authors = [
"Ryan Bottriell <ryan@bottriell.ca>",
"J Robert Ray <jrray@imageworks.com>",
"David Gilligan-Cook <dcook@imageworks.com>",
"Nichol Yip <nyip@imageworks.com>",
"Ryan Bottriell <ryan@bottriell.ca>",
"J Robert Ray <jrray@imageworks.com>",
"David Gilligan-Cook <dcook@imageworks.com>",
"Nichol Yip <nyip@imageworks.com>",
]
edition = "2021"
version = "0.42.0"
Expand Down Expand Up @@ -83,12 +84,12 @@ relative-path = "1.3"
ring = "0.17.7"
rstest = "0.18.2"
sentry = { version = "0.34.0", default-features = false, features = [
# all the default features except `debug-images` which causes a deadlock on
# centos 7: https://github.com/getsentry/sentry-rust/issues/358
"backtrace",
"contexts",
"panic",
"transport",
# all the default features except `debug-images` which causes a deadlock on
# centos 7: https://github.com/getsentry/sentry-rust/issues/358
"backtrace",
"contexts",
"panic",
"transport",
] }
sentry-miette = { version = "0.1.0", path = "crates/sentry-miette" }
sentry-tracing = { version = "0.32.2" }
Expand Down
15 changes: 15 additions & 0 deletions crates/sudoku/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
[package]
name = "sudoku"
authors.workspace = true
edition.workspace = true
version.workspace = true
license-file.workspace = true
homepage.workspace = true
repository.workspace = true
readme.workspace = true
description.workspace = true

[dependencies]

[lints]
workspace = true
162 changes: 162 additions & 0 deletions crates/sudoku/src/main.rs
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,162 @@
use std::io::Write;
use std::os::unix::fs::PermissionsExt;

fn main() {
// Open a file to write package spec into
let mut file = std::fs::File::create("sudoku-pkgs/build.sh").unwrap();
let mut build_script = std::io::BufWriter::new(&mut file);
writeln!(build_script, "#!/bin/sh").unwrap();
writeln!(build_script).unwrap();

for row in 1..=9 {
let our_vertical_tile = (row - 1) / 3;

for col in 1..=9 {
let our_horizontal_tile = (col - 1) / 3;

// Open a file to write package spec into
let filename = format!("sudoku-pkgs/row{}-col{}.yaml", row, col);
let mut file = std::fs::File::create(&filename).unwrap();
let mut writer = std::io::BufWriter::new(&mut file);

writeln!(writer, "pkg: row{row}-col{col}/{{{{opt.version}}}}.0.0").unwrap();
writeln!(writer, "api: v0/package").unwrap();
writeln!(writer, "build:").unwrap();
writeln!(writer, " script:").unwrap();
writeln!(writer, " - true").unwrap();
writeln!(writer, "install:").unwrap();
writeln!(writer, " requirements:").unwrap();

for other_row in 1..=9 {
let other_vertical_tile = (other_row - 1) / 3;

for other_col in 1..=9 {
let other_horizontal_tile = (other_col - 1) / 3;

if other_row == row && other_col == col {
continue;
}

if other_row == row
|| other_col == col
|| other_horizontal_tile == our_horizontal_tile
&& other_vertical_tile == our_vertical_tile
{
writeln!(
writer,
" - pkg: row{other_row}-col{other_col}/!={{{{opt.version}}}}.0.0"
)
.unwrap();
}
}
}
writeln!(writer).unwrap();
for version in 1..=9 {
writeln!(
build_script,
"spk build -o version={version} row{row}-col{col}.yaml"
)
.unwrap();
}
}
}

{
let mut file = std::fs::File::create("sudoku-pkgs/sudoku-solution.spk.yaml").unwrap();
let mut solution = std::io::BufWriter::new(&mut file);

writeln!(solution, "pkg: sudoku-solution/1.0.0").unwrap();
writeln!(solution, "api: v0/package").unwrap();
writeln!(solution, "build:").unwrap();
writeln!(solution, " script:").unwrap();
writeln!(solution, " - true").unwrap();
writeln!(solution, "install:").unwrap();
writeln!(solution, " requirements:").unwrap();
for row in 1..=9 {
for col in 1..=9 {
writeln!(solution, " - pkg: row{row}-col{col}").unwrap();
}
}

writeln!(build_script).unwrap();
writeln!(build_script, "spk build sudoku-solution.spk.yaml").unwrap();
}

drop(build_script);
drop(file);

// Make the build script executable
std::fs::set_permissions(
"sudoku-pkgs/build.sh",
std::fs::Permissions::from_mode(0o755),
)
.unwrap();

// NYTimes easy puzzle Oct 25 2024
let given = [
"row1-col1/=1.0.0",
"row1-col3/=4.0.0",
"row1-col4/=9.0.0",
"row1-col6/=8.0.0",
"row1-col7/=2.0.0",
//
"row2-col2/=9.0.0",
"row2-col4/=5.0.0",
"row2-col6/=2.0.0",
"row2-col8/=7.0.0",
"row2-col9/=6.0.0",
//
"row3-col1/=2.0.0",
"row3-col2/=7.0.0",
"row3-col3/=5.0.0",
"row3-col5/=1.0.0",
"row3-col9/=4.0.0",
//
"row4-col4/=2.0.0",
"row4-col5/=9.0.0",
"row4-col6/=5.0.0",
"row4-col7/=8.0.0",
"row4-col8/=4.0.0",
//
"row5-col1/=4.0.0",
"row5-col3/=9.0.0",
"row5-col4/=8.0.0",
"row5-col7/=5.0.0",
"row5-col8/=1.0.0",
//
"row6-col2/=8.0.0",
"row6-col5/=3.0.0",
"row6-col9/=7.0.0",
//
"row7-col1/=3.0.0",
"row7-col2/=2.0.0",
"row7-col3/=1.0.0",
"row7-col6/=9.0.0",
"row7-col7/=4.0.0",
//
"row8-col7/=7.0.0",
"row8-col8/=5.0.0",
//
"row9-col5/=8.0.0",
"row9-col6/=6.0.0",
"row9-col9/=1.0.0",
];

println!("spk env {} sudoku-solution", given.join(" "));

{
let mut file = std::fs::File::create("sudoku-pkgs/print-solution.sh").unwrap();
let mut solution = std::io::BufWriter::new(&mut file);

for row in 1..=9 {
for col in 1..=9 {
writeln!(
solution,
"echo -n \" $SPK_PKG_row{row}_col{col}_VERSION_MAJOR \""
)
.unwrap();
}
writeln!(solution, "echo").unwrap();
}
}
}
Loading