Nikolaj Bjorner
d64a2bdbed
include dependency in cmakelist
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-10 10:27:22 -08:00
Nikolaj Bjorner
b56a8fa264
deal with build errors
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-10 10:03:43 -08:00
Nikolaj Bjorner
7ba5d2024d
remove stale file
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-09 17:26:32 -08:00
Nikolaj Bjorner
21ef689918
n/a
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-09 17:16:31 -08:00
Nikolaj Bjorner
207735d55c
n/a
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-09 17:14:59 -08:00
Nikolaj Bjorner
2b49bd189a
fixed fixme
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-09 16:20:35 -08:00
Nikolaj Bjorner
09eac8e371
allow tracking values of constraints
2023-12-09 16:15:24 -08:00
Nikolaj Bjorner
0c2ecf8b90
working on viable
2023-12-09 13:10:47 -08:00
Nikolaj Bjorner
94ba85bb12
updates to viable
2023-12-09 12:08:02 -08:00
Nikolaj Bjorner
683a5dda37
remove include to bv-params
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-09 10:58:54 -08:00
Nikolaj Bjorner
70bddb35be
update viable
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-09 09:44:05 -08:00
Nikolaj Bjorner
bff51b699d
remove stale files
2023-12-09 09:39:59 -08:00
Nikolaj Bjorner
9bfecead73
reorganize polysat functionality to use abstract solver interface
...
make dependency be self-contained
2023-12-09 09:38:18 -08:00
Nikolaj Bjorner
45f3aab5ff
porting viable
2023-12-08 15:28:05 -08:00
Nikolaj Bjorner
ddb55cc3dc
porting viable
2023-12-08 14:50:33 -08:00
Nikolaj Bjorner
aa82ca3017
add log helper to util
2023-12-08 13:25:50 -08:00
Nikolaj Bjorner
8546b275ef
port forbidden intervals
2023-12-08 12:04:19 -08:00
Nikolaj Bjorner
642f1ea1f6
port over ule_constraint
2023-12-08 10:53:28 -08:00
Nikolaj Bjorner
237ee6b083
tidy'
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-08 04:54:08 -08:00
Nikolaj Bjorner
fda5f29e70
tidy'
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-08 04:49:38 -08:00
Nikolaj Bjorner
8207732d27
n/a
2023-12-07 20:53:04 -08:00
Nikolaj Bjorner
f3fa6fdb84
n/a
2023-12-07 19:47:55 -08:00
Nikolaj Bjorner
bb03f1f1ec
allow propagation on equalities and literals that are not assigned.
2023-12-07 19:43:08 -08:00
Nikolaj Bjorner
9df89e1640
tidy
2023-12-07 16:03:30 -08:00
Nikolaj Bjorner
ab1a2e27a7
v2 of polysat
2023-12-07 15:53:07 -08:00
Nikolaj Bjorner
6afed0819c
update minor version number
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-06 07:13:07 -08:00
Nikolaj Bjorner
dce2f3d88f
add release notes
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-06 07:10:56 -08:00
Nikolaj Bjorner
b3ef74c86d
remove readme for dist
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 18:50:23 -08:00
Nikolaj Bjorner
fc3a7655a5
try to put readme in root
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 18:06:17 -08:00
Nikolaj Bjorner
2c8d33851a
add README path to mk_nuget_task
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 16:38:35 -08:00
Nikolaj Bjorner
8111d879cd
add README path to mk_nuget_task
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 16:37:48 -08:00
Nikolaj Bjorner
1fde3e9fb8
update release
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 16:16:27 -08:00
Nikolaj Bjorner
1d6616afac
make var-queue a template
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 15:41:35 -08:00
Nikolaj Bjorner
156426a0cf
use / for package path
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 15:10:13 -08:00
Nikolaj Bjorner
111ce01702
update path reference to readme
2023-12-05 13:47:05 -08:00
Nikolaj Bjorner
d566eb3df7
include readme in package
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 13:04:25 -08:00
Nikolaj Bjorner
76c05f171a
specify a readme file with the nuget package
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 12:32:30 -08:00
Nikolaj Bjorner
426d7f5810
remove reference to readme in nuget task
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 12:11:29 -08:00
Asger Hautop Drewsen
a9513c1998
Improve BoolRef addition ( #7045 )
2023-12-05 09:12:25 -08:00
NikolajBjorner
7c81ee0890
fix case of README.md in nuget
...
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
2023-12-05 09:02:08 -08:00
NikolajBjorner
669f665f24
update release pipeline
...
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
2023-12-05 08:19:20 -08:00
NikolajBjorner
aa2e54c5a4
update release pipeline
...
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
2023-12-05 08:18:33 -08:00
NikolajBjorner
23fcb4376f
readme
...
Signed-off-by: NikolajBjorner <nbjorner@microsoft.com>
2023-12-05 08:03:28 -08:00
NikolajBjorner
f5ae8c324c
make a readme file
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-05 08:01:59 -08:00
Michał Górny
9ad4d50b5d
Use built-in importlib.resources on Python 3.9+ ( #7042 )
...
Use built-in `importlib.resources` module rather than the external
`importlib_resources` package on Python 3.9 and newer. The latter
is only intended as a backport for old Python versions, and since modern
Linux distributions may no longer support such old Python versions,
they also no longer provide importlib_resources (this is the case
on Gentoo).
2023-12-05 07:49:32 -08:00
Asger Hautop Drewsen
764f0d54a4
Overload xor operator for BoolRef ( #7043 )
2023-12-05 07:48:57 -08:00
Rui Chen
4d4359f78a
fix shebang syntax issue ( #7044 )
2023-12-05 07:48:15 -08:00
Nikolaj Bjorner
389aea3330
update release notes, update version number
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-04 19:48:43 -08:00
Nikolaj Bjorner
5e3f1d988b
update release notes
...
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
2023-12-04 19:38:52 -08:00
Nikolaj Bjorner
4a9b38e531
clean up nla_grobner
2023-12-04 17:08:17 -08:00
