joshua/satuio
1
Fork 0
mirror of https://github.com/Jaxan/satuio.git synced 2025-04-27 14:47:46 +02:00
Code Issues Releases Activity

Wrong installation notes

Browse source
This commit is contained in:
Joshua Moerman 2022-03-21 13:07:46 +01:00
parent 8414a1a3dd
commit 6660c8c3ed
2 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -17,7 +17,7 @@ This project uses Python3. It uses the following packages which can be
installed with `pip` as follows: installed with `pip` as follows:
```bash ```bash
pip3 install pysat tqdm rich pip3 install python-sat tqdm rich
``` ```
* [`pysat`](https://github.com/pysathq/pysat) * [`pysat`](https://github.com/pysathq/pysat)

7
satuio/uio-incr.py
View file

@ -43,6 +43,7 @@ parser.add_argument('--bound', help='Upper bound (incl.) for the UIO solving', t
parser.add_argument('--time', help='Upper bound on search time (ms)', type=int) parser.add_argument('--time', help='Upper bound on search time (ms)', type=int)
parser.add_argument('--solver', help='Which solver to use (default g3)', default='g3') parser.add_argument('--solver', help='Which solver to use (default g3)', default='g3')
parser.add_argument('--bases', help='For which states to compute an UIO (leave empty for all states)', nargs='*') parser.add_argument('--bases', help='For which states to compute an UIO (leave empty for all states)', nargs='*')
parser.add_argument('--log', help='Enable the additional log file', action='store_true')
args = parser.parse_args() args = parser.parse_args()
# reading the automaton # reading the automaton
@ -393,5 +394,9 @@ console.print('')
# Report some final stats # Report some final stats
measure_total_time('\nDone') measure_total_time('\nDone')
console.print(f'uios found: {100*len(uios)/len(states):.0f}') console.print(f'uios found: {100*len(uios)/len(states):.0f}%')
console.print(f'avg length: {sum([len(uio) for uio in uios.values()])/len(uios):.3}') console.print(f'avg length: {sum([len(uio) for uio in uios.values()])/len(uios):.3}')
if args.log:
with open('uio.log', 'a') as logfile:
logfile.write(f'{args.filename},{len(states)},{len(uios)},{sum([len(uio) for uio in uios.values()])}\n')