issues
search
potassco
/
xorro
⚔️ A solver for programs with XOR constraints.
MIT License
5
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
changed flag for value
#46
pudumagico
closed
5 months ago
0
Updating flags values
#45
flavioeverardo
closed
1 year ago
0
xorro python API
#44
pudumagico
opened
2 years ago
1
AttributeError: 'Flag' object has no attribute 'value'
#43
damianoazzolini
closed
5 months ago
2
Flavio
#42
flavioeverardo
closed
4 years ago
0
Flavio
#41
flavioeverardo
closed
4 years ago
0
add xorsat into the tests script
#40
flavioeverardo
closed
4 years ago
0
Flavio/dev
#39
flavioeverardo
closed
4 years ago
0
cleaning xorro
#38
flavioeverardo
closed
4 years ago
0
Flavio/dev
#37
flavioeverardo
closed
4 years ago
0
updates in UP fixpoints
#36
flavioeverardo
closed
4 years ago
0
updates in UP approaches
#35
flavioeverardo
closed
4 years ago
0
updates in UP approaches
#34
flavioeverardo
closed
4 years ago
0
clean up total propagator
#33
flavioeverardo
closed
4 years ago
0
UP propagator call from GJE approach
#32
flavioeverardo
closed
4 years ago
0
commenting gje_xorsat import
#31
flavioeverardo
closed
4 years ago
0
commenting normal form for now
#30
flavioeverardo
closed
4 years ago
0
Flavio
#29
flavioeverardo
closed
4 years ago
0
main fixes
#28
flavioeverardo
closed
4 years ago
0
updates in simplex
#27
flavioeverardo
closed
4 years ago
0
Flavio/dev
#26
flavioeverardo
closed
4 years ago
0
Unit tests for Matrix specific tasks
#25
flavioeverardo
closed
5 years ago
0
Flavio/dev
#24
flavioeverardo
closed
5 years ago
0
Flavio/dev
#23
flavioeverardo
closed
5 years ago
0
Flavio/dev
#22
flavioeverardo
closed
5 years ago
0
Flavio/dev
#21
flavioeverardo
closed
5 years ago
0
Flavio/dev
#20
flavioeverardo
closed
5 years ago
0
Updates in GJE and Split preprocessing
#19
flavioeverardo
closed
5 years ago
0
split feature implemented in xorro
#18
flavioeverardo
closed
5 years ago
0
split feature without sampling part2
#17
flavioeverardo
closed
5 years ago
0
split feature without sampling
#16
flavioeverardo
closed
5 years ago
0
cleaning and small fixes
#15
flavioeverardo
closed
5 years ago
0
experiments in dev branch for GJE
#14
flavioeverardo
closed
5 years ago
0
Workflow
#13
flavioeverardo
closed
5 years ago
0
general updates in xorro options
#12
flavioeverardo
closed
5 years ago
0
display flag added
#11
flavioeverardo
closed
5 years ago
0
Develop
#10
flavioeverardo
closed
5 years ago
0
Backup
#9
flavioeverardo
closed
5 years ago
0
updates in README
#8
flavioeverardo
closed
5 years ago
0
updates in README
#7
flavioeverardo
closed
5 years ago
0
updates in README
#6
flavioeverardo
closed
5 years ago
0
general updates in xorro with sampling
#5
flavioeverardo
closed
5 years ago
0
updates in sampling features
#4
flavioeverardo
closed
5 years ago
0
enable sampling options
#3
flavioeverardo
closed
5 years ago
0
Develop
#2
flavioeverardo
closed
6 years ago
0
Develop gje
#1
flavioeverardo
closed
6 years ago
0