ricosat 1.0.0 → 1.0.1
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/Manifest.txt +0 -1
- data/ext/ricosat/ricosat.c +10 -2
- data/lib/ricosat.rb +1 -1
- data/test/test_ricosat.rb +6 -0
- metadata +2 -3
- data/lib/ricosat.bundle +0 -0
checksums.yaml
CHANGED
@@ -1,7 +1,7 @@
|
|
1
1
|
---
|
2
2
|
SHA1:
|
3
|
-
metadata.gz:
|
4
|
-
data.tar.gz:
|
3
|
+
metadata.gz: 3f0e9513e7debb7bf00beb9a3ec4901839d1b247
|
4
|
+
data.tar.gz: ba02d51143248877129218577dec3de7b9edfbba
|
5
5
|
SHA512:
|
6
|
-
metadata.gz:
|
7
|
-
data.tar.gz:
|
6
|
+
metadata.gz: f8b0b1b9208c454a44214ce06fee37457642efb51d1900511bfe68159039375990a21a638ce4a79f722cdc8744af4dc1ae238659c92fea441983e7a4c3f4df8d
|
7
|
+
data.tar.gz: eb30927239fbcb1444f781dfe34bda13a5f2277acdc596b034190855e2fcd4467468ff9b075f1b83ce43de5fd60cfacc778cf12c538e1f4484490aade70a854b
|
data/Manifest.txt
CHANGED
data/ext/ricosat/ricosat.c
CHANGED
@@ -43,6 +43,13 @@ static VALUE set_less_important_lit(VALUE self, VALUE lit) {
|
|
43
43
|
return self;
|
44
44
|
}
|
45
45
|
|
46
|
+
static VALUE set_default_phase(VALUE self, VALUE lit, VALUE val) {
|
47
|
+
PicoSAT * sat;
|
48
|
+
TypedData_Get_Struct(self, PicoSAT, &RicoSatType, sat);
|
49
|
+
picosat_set_default_phase_lit(sat, NUM2INT(lit), NUM2INT(val));
|
50
|
+
return self;
|
51
|
+
}
|
52
|
+
|
46
53
|
static VALUE inc_max_var(VALUE self) {
|
47
54
|
PicoSAT * sat;
|
48
55
|
TypedData_Get_Struct(self, PicoSAT, &RicoSatType, sat);
|
@@ -173,8 +180,9 @@ void Init_ricosat() {
|
|
173
180
|
rb_define_const(cRicoSat, "UNSATISFIABLE", INT2NUM(PICOSAT_UNSATISFIABLE));
|
174
181
|
rb_define_method(cRicoSat, "measure_all_calls", measure_all_calls, 0);
|
175
182
|
rb_define_method(cRicoSat, "verbosity=", set_verbosity, 1);
|
176
|
-
rb_define_method(cRicoSat, "
|
177
|
-
rb_define_method(cRicoSat, "
|
183
|
+
rb_define_method(cRicoSat, "more_important", set_more_important_lit, 1);
|
184
|
+
rb_define_method(cRicoSat, "less_important", set_less_important_lit, 1);
|
185
|
+
rb_define_method(cRicoSat, "set_default_phase", set_default_phase, 2);
|
178
186
|
rb_define_method(cRicoSat, "inc_max_var", inc_max_var, 0);
|
179
187
|
rb_define_method(cRicoSat, "add", add, 1);
|
180
188
|
rb_define_method(cRicoSat, "solve", solve, 1);
|
data/lib/ricosat.rb
CHANGED
data/test/test_ricosat.rb
CHANGED
metadata
CHANGED
@@ -1,14 +1,14 @@
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
2
2
|
name: ricosat
|
3
3
|
version: !ruby/object:Gem::Version
|
4
|
-
version: 1.0.
|
4
|
+
version: 1.0.1
|
5
5
|
platform: ruby
|
6
6
|
authors:
|
7
7
|
- Aaron Patterson
|
8
8
|
autorequire:
|
9
9
|
bindir: bin
|
10
10
|
cert_chain: []
|
11
|
-
date: 2017-02-
|
11
|
+
date: 2017-02-25 00:00:00.000000000 Z
|
12
12
|
dependencies:
|
13
13
|
- !ruby/object:Gem::Dependency
|
14
14
|
name: minitest
|
@@ -72,7 +72,6 @@ files:
|
|
72
72
|
- ext/ricosat/picosat.c
|
73
73
|
- ext/ricosat/picosat.h
|
74
74
|
- ext/ricosat/ricosat.c
|
75
|
-
- lib/ricosat.bundle
|
76
75
|
- lib/ricosat.rb
|
77
76
|
- test/test_ricosat.rb
|
78
77
|
homepage: https://github.com/tenderlove/ricosat
|
data/lib/ricosat.bundle
DELETED
Binary file
|