search

bjur / SAT_solver

0 stars 0 forks source link

Output #5

Closed jaanos closed 8 years ago

jaanos commented 8 years ago

The output for a satisfiable input should be a just list of integers separated by spaces without any other information.

This will let me simplify my attempt at calling your program - ideally, it should consist of just a single program or function call.

bjur commented 8 years ago

Fixed, program should now return the int values for literals evaluated as positive in the solution, sorry for inconvenience

bjur commented 8 years ago

Should be fine now, fixed -1 return and added negative terms.