ashen-navigator
/

neurosat-solver

Model card Files Files and versions

neurosat-solver

Commit History

Add demo script

1a29e57
verified

ashen-navigator commited on Apr 21

Add benchmark suite

91e16b7
verified

ashen-navigator commited on Apr 21

Add GNN training pipeline

7981621
verified

ashen-navigator commited on Apr 21

Add CDCL solver with PySAT backend

a873db6
verified

ashen-navigator commited on Apr 21

Add hybrid solver

b08316d
verified

ashen-navigator commited on Apr 21

Add GNN guide module

87a3087
verified

ashen-navigator commited on Apr 21

Add GPU differentiable solver

a4f98d1
verified

ashen-navigator commited on Apr 21

Add setup.py

2426b89
verified

ashen-navigator commited on Apr 21

Add cnf_parser.py

71be85e
verified

ashen-navigator commited on Apr 21

Add init.py

ea4c492
verified

ashen-navigator commited on Apr 21

Add README with full documentation

b82dd82
verified

ashen-navigator commited on Apr 21

initial commit

87e4043
verified

ashen-navigator commited on Apr 21