Pre trained model - Githubissues

emreyolcu / sat

Learning local search heuristics for Boolean satisfiability

MIT License

37 stars 10 forks source link

Open x-lad opened 1 year ago

x-lad commented 1 year ago

Can you upload the pre trained weights that you used to achieve the paper's results?