joshua/satuio
1
Fork 0
mirror of https://github.com/Jaxan/satuio.git synced 2025-04-26 22:27:46 +02:00
Code Issues Releases Activity
23 commits 1 branch 0 tags 215 KiB
Commit graph

23 commits

This branch
This branch
All branches
Author SHA1 Message Date
Joshua Moerman
98c32edff1 more handy output 2022-04-11 14:35:56 +02:00
Joshua Moerman
8e5553e8b1 More consistent, and less output 2022-04-08 14:26:02 +02:00
Joshua Moerman
6660c8c3ed Wrong installation notes 2022-03-21 13:07:46 +01:00
Joshua Moerman
8414a1a3dd Cleaned up some output and implemented a time bound for uios 2022-03-15 14:38:06 +01:00
Joshua Moerman
956997e217 Script to get an unsat core in ADS (WIP) 2022-03-02 10:58:51 +01:00
Joshua Moerman
f6c1024b30 Some more cleanup 2022-02-02 12:47:25 +01:00
Joshua Moerman
be13bc3dbe Pretty printing the ADS 2022-02-01 16:13:27 +01:00
Joshua Moerman
7ddb1bb45c Some more cleaning up and comments 2022-01-26 09:52:25 +01:00
Joshua Moerman
15f72ea1f7 Added a big optimisation to ADS 2022-01-26 09:13:19 +01:00
Joshua Moerman
9dbe5dee5b small change for ads 2022-01-24 15:21:45 +01:00
Joshua Moerman
f1ee29e3f2 small bugfix 2022-01-24 14:17:32 +01:00
Joshua Moerman
54871a2faa More efficient UIO solver, by uio-implication and incrementing the length 2022-01-24 14:12:07 +01:00
Joshua Moerman
0d074cbf65 updated README 2022-01-19 14:15:01 +01:00
Joshua Moerman
5c06069bc7 minor tweaks in the output 2022-01-19 14:04:32 +01:00
Joshua Moerman
921a261c47 Made the ADS encoding (and moved the parser elsewhere) 2022-01-19 13:56:25 +01:00
Joshua Moerman
ddb65c050e More cleanup and more flags 2022-01-19 11:30:46 +01:00
Joshua Moerman
9e0132e2e8 Add more comments and clean up a bit 2022-01-18 17:00:32 +01:00
Joshua Moerman
2dd1c1a2a4 small change in output style 2022-01-17 16:54:41 +01:00
Joshua Moerman
7ff6b7df55 Some more output stats and verbosity 2022-01-17 12:52:28 +01:00
Joshua Moerman
dfb77c02a0 Fixed one constraint concerning outputs, and improved output 2022-01-17 12:00:57 +01:00
Joshua Moerman
c8e587526d Mor efficient CNF, no n^2 anymore, but the construction only takes reachable states in a path 2022-01-17 11:02:04 +01:00
Joshua Moerman
8b2750e07a First(ish) version of the UIO solver 2022-01-17 08:56:37 +01:00
Joshua Moerman
362ee1f589
Initial commit 2022-01-17 08:48:55 +01:00