Good Job! - Githubissues

cure-lab / sat-benchmark

Benchmarking end-to-end SAT solvers.

MIT License

6 stars 1 forks source link

Good Job! #1

Closed markwwen closed 2 years ago

markwwen commented 2 years ago

It is very amazing that someone starts to build a benchmark/framework for ML/AI for SAT, which would be very helpful for the new people who is just entering this area like me. Here are some doc/tools I think maybe useful, the author can have a look in free time:

awesome-ml4co The Boolean Satisfiability collect some recent papers in ML4SAT.
LovaszSAT A tool by me which implements the Algorithmic LLL Solver, the generator.py can be use to generate large satisfiable SAT instance quickly, which maybe useful in building dataset.

lee-man commented 2 years ago

Thanks for your attention! This codebase is not ready to use yet, and I will let you know once we complete it. I will take a look at your repo and have further discussion with you later :)