myxxxsquared / nlocalsat Goto Github PK

Hi @myxxxsquared ,

Thanks for your great work!
I have one question: As the NLcoalSAT is a solution prediction model, did you try to directly use the prediction from NLocalSAT and check the accuracy, compared with end-to-end solutions (NeuroSAT/CircuitSAT)? (Maybe just the small SAT problems used in CircuitSAT/NeuroSAT)

Looking forward to your reply,
Min

Hi,

I find that in NLocalSAT/solvers/CPSparrow/CPSparrowp.sh, line 68, you want to use the neural network to initialize the assignment of a given SAT instance, however, you don't use the prediction file anymore. So actually, the solver doesn't use the neural network. And it seems like there is also a file called move_back.py in line 80 missing in this codebase.

Is there something wrong with your codebase or could you please provide the complete code?

Nice work ! I am very interested in this work and want to reproduce it. I have two questions:
1、How long did you pretrain your model?
2、Would you like to provide a copy of finetune datasets? Here are my email address: [email protected].