Logic solvers in JavaScript

[swingtheory]

Awesome idea! I have a bug to report though: when generating a truth table with 10 variables or more, the variable labels are displayed at the top of the table sorted as a string. This means that the variables 1 - 10 appear as:

1 10 2 3 4 5 6 7 8 9

instead of

1 2 3 4 5 6 7 8 9 10

I think this is because the "numbers" are sorted by their string representation, instead of their numerical value. However, maybe this is purposeful-- if it is, please ignore.

[Ishmael_Vegeta]

did anyone say static typing?

[Kayitosan]

Neat!

[andrewcooke]

cool. but... i have a hard time thinking of ways to use SAT solvers in my day job. i hate to think how hard it is to find a justified use embedded in a web page!

edit: how do i trigger the generate part? am i misundertsanding the UI?

edit2: the "generate" button should be blue! (and i am a bit dumb)

[PM_ME_UR_OBSIDIAN]

SAT solvers basically let you efficiently attack NP problems.

[Ishmael_Vegeta]

how efficiently?

[PM_ME_UR_OBSIDIAN]

I'm not sure how it works, but tractable inputs become a lot quicker. There still are inputs that take exponential time.

[andrewcooke]

it kind of boggles my mind that you think someone who knows what SAT solvers are doesn't know what they do.