emreyolcu / sat Goto Github PK
View Code? Open in Web Editor NEWLearning local search heuristics for Boolean satisfiability
License: MIT License
Learning local search heuristics for Boolean satisfiability
License: MIT License
Hi, after updating the config. file configs/search/kcolor/5.yaml
(see #2 ), I tried to run python code/train_search.py -c configs/search/kcolor/5.yaml
but I got the following output:
python code/train_search.py -c configs/search/kcolor/5.yaml
/home/anderson/code/yolcusatfork/code/util.py:27: YAMLLoadWarning: calling yaml.load() without Loader=... is deprecated, as the default Loader
is unsafe. Please read https://msg.pyyaml.org/load for full details.
config = yaml.load(config_data)
[some logs with the config keys]
17:25:46 INFO Device: cpu
17:25:48 INFO Loaded 817 training problems from data/kcolor
17:25:48 INFO Loaded 10 evaluation problems from data/kcolor
17:25:48 INFO Cycle: 1
17:25:48 INFO Train set: 3-5-0.5
Traceback (most recent call last):
File "code/train_search.py", line 318, in <module>
main()
File "code/train_search.py", line 314, in main
train(ls, optimizer, scheduler, (train_set, eval_set), config)
File "code/train_search.py", line 211, in train
new_stats = eval(ls, eval_set, config)
File "code/train_search.py", line 199, in eval
flip_update(fp, flips, eval_set['max_flips'])
File "code/train_search.py", line 171, in flip_update
med = np.median(flips)
File "/datalinux/code/miniconda3/envs/mlsat/lib/python3.7/site-packages/numpy/lib/function_base.py", line 3497, in median
overwrite_input=overwrite_input)
File "/datalinux/code/miniconda3/envs/mlsat/lib/python3.7/site-packages/numpy/lib/function_base.py", line 3405, in _ureduce
r = func(a, **kwargs)
File "/datalinux/code/miniconda3/envs/mlsat/lib/python3.7/site-packages/numpy/lib/function_base.py", line 3530, in _median
part = partition(a, kth, axis=axis)
File "/datalinux/code/miniconda3/envs/mlsat/lib/python3.7/site-packages/numpy/core/fromnumeric.py", line 734, in partition
a.partition(kth, axis=axis, kind=kind, order=order)
TypeError: '<' not supported between instances of 'list' and 'int'
Please let me know if I need to run the code in a different way, or if you need additional information.
Thanks in advance!
Can you upload the pre trained weights that you used to achieve the paper's results?
Hi, I'm trying to reproduce the results of your Neurips 2019 paper. After generating data for kcolor with: sh scripts/generate_kcolor.sh
, I tried to run python code/train_search.py -c configs/search/kcolor/5.yaml
but it failed because of missing configuration keys.
First: KeyError: 'mlp_arch', which I copied from configs/search/sr/10.yaml
. Then, the same error, with gnn_iter and gnn_async keys, which I copied from sr/10.yaml
. Then, with data_shuffle and eval_multi keys, which I copied from configs/search/sr/10_2.yaml
.
After adding all those keys, the code seems to run (it fails on another part, please see #3 ).
My fork has the updated configs/search/kcolor/5.yaml
, I can create a PR if you want.
[EDIT: added the pointer to the other issue]
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.