search

muhos / ParaFROST

A Parallel SAT Solver with GPU Accelerated Inprocessing
GNU General Public License v3.0
86 stars 7 forks source link

STDIN option for file #4

Closed DoINeedATag closed 2 years ago

DoINeedATag commented 2 years ago

Hello! I am rather out of my depth here with SAT solvers and such. However I have been playing with this project: https://github.com/R-O-C-K-E-T/Factorio-SAT

They give an option to use other solvers instead of their standard one via --solver="cmd:/path/to/solver however all the other solvers I have used accept input via STDIN, kissat, cadical, gimsatul, GpuShareSat, etc. Would it be possible to add STDIN as an input option? I have tried unsuccessfully to find a work around.

I would love to try ParaFROST out on this project.

Thank you!

muhos commented 2 years ago

Hello, thanks for the feedback. That's one of the features I also wanted to have in ParaFROST. Sure, I will try to add it in the next few days.

muhos commented 2 years ago

The stdin handling is now available in the latest release.

DoINeedATag commented 2 years ago

Worked like a charm. I appreciate you taking the effort to add this so quickly! It has been fun learning about SAT solvers and playing around with them.