fix: add an xorprefix:"..."
option for prefixing xor/and groups
#382
Job | Run time |
---|---|
17s | |
1m 18s | |
13s | |
31s | |
17s | |
2m 36s |
xorprefix:"..."
option for prefixing xor/and groups
#382
Job | Run time |
---|---|
17s | |
1m 18s | |
13s | |
31s | |
17s | |
2m 36s |