aiju
|
29f03ba4e7
|
libsat, forp: fix va_list hack on amd64
|
2018-04-24 12:20:07 +01:00 |
|
|
aiju
|
80474f7f59
|
libsat: fix one of the satmore() bugs
|
2018-03-26 21:39:23 +00:00 |
|
|
aiju
|
39dd26bf08
|
sat: satget: don't duplicate binary clauses
|
2018-03-22 13:35:52 +00:00 |
|
|
aiju
|
8389465f94
|
sat: satget: include unit literals
|
2018-03-22 13:15:44 +00:00 |
|
|
aiju
|
2e2ae33a47
|
sat: add satget
|
2018-03-22 12:46:04 +00:00 |
|
|
aiju
|
5d4a456ae6
|
libsat: setmalloctag, fix incorrect allocation size
|
2018-03-20 11:23:41 +00:00 |
|
|
aiju
|
d68417bc01
|
satmore: don't try to override user defined variables
|
2018-03-18 03:01:21 +00:00 |
|
|
aiju
|
c2c9562e3c
|
add libsat
|
2018-03-17 19:26:26 +00:00 |
|