How to solve tangram puzzle with Google OR tools?

Darwin Harianto

unread,

May 31, 2021, 10:05:42 PM5/31/21

to or-tools-discuss

Hi, I have found someone solved tangram puzzle with SAT using lisp.

Is there any pointer how can I solve this using or tools?

Suppose I have a canvas of n-by-n dimension. How can I know position and used tangram puzzle parts so it can fill all the canvas?

Mizux Seiha

unread,

Jun 1, 2021, 2:46:52 AM6/1/21

to or-tools-discuss

this one https://groups.google.com/g/or-tools-discuss/c/WOnVCz93Kj8/m/8Tlg_L7qBAAJ ?

Mizux Seiha

unread,

Jun 1, 2021, 2:49:06 AM6/1/21

to or-tools-discuss

his page: https://github.com/MrBenGriffin/or-tools-fun#polyomino-puzzle-solver

note: retrieved from here: https://github.com/or-tools/awesome_or-tools#advanced-samples

Darwin Harianto

unread,

Jun 1, 2021, 9:33:45 PM6/1/21

to or-tools...@googlegroups.com

Wow!!! Thank you so much for this. I can't believe I didn't see this. This would be a really good source to learn about OR tools.

--
You received this message because you are subscribed to a topic in the Google Groups "or-tools-discuss" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/or-tools-discuss/k-1sWd2yzu0/unsubscribe.
To unsubscribe from this group and all its topics, send an email to or-tools-discu...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/or-tools-discuss/cea62c4c-6ba6-4771-90f0-14bdeaad4e67n%40googlegroups.com.

Reply all

Reply to author

Forward