issues
search
alanctprado
/
pace2024
MIT License
2
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Parameterized track
#28
PhKindermann
opened
1 week ago
3
Correct repository
#27
PhKindermann
closed
2 weeks ago
2
IP + Crossing = More ACs
#26
luishgh
closed
1 month ago
1
Crossing Matrix
#25
heittpr
opened
1 month ago
1
lemma
#24
lailamvl
closed
1 month ago
0
LGraph + WLGraph
#23
perchuts
closed
1 month ago
1
README improvements
#22
luishgh
opened
1 month ago
0
Add Lemma Restrictions
#21
MvKaio
closed
1 month ago
3
Represent Graphs using Adjacency Lists
#20
MvKaio
closed
1 month ago
0
Median
#19
gabrelViera
closed
1 month ago
0
Recognizers
#18
lailamvl
closed
1 month ago
2
`run_tiny` and `run_medium` flags
#17
alanctprado
closed
2 months ago
2
`src` directory structure
#16
alanctprado
opened
2 months ago
0
Update Format workflow
#15
luishgh
closed
2 months ago
0
Heuristics
#14
matp30
closed
2 months ago
1
Update README flags
#13
alanctprado
closed
2 months ago
1
IP solvers
#12
alanctprado
closed
4 weeks ago
10
Create .sh script to parallelize and evaluate test cases
#11
alanctprado
closed
1 month ago
5
Add clang-format section to README.md
#10
luishgh
closed
2 months ago
1
Crossing matrix is too large for Pace limits
#9
alanctprado
closed
1 month ago
5
Add Compile github action
#8
luishgh
closed
2 months ago
0
Add clang-format rules and GitHub actions
#7
luishgh
closed
2 months ago
0
Add linter and github actions
#6
luishgh
closed
2 months ago
0
Update README.md and add arguments support and timing to targets
#5
luishgh
closed
2 months ago
0
IP Formulations
#4
alanctprado
closed
2 months ago
0
Update run_case.sh and run_set.sh
#3
luishgh
closed
2 months ago
0
Implemented Verifier in O(n + m (log n + log m))
#2
MvKaio
closed
2 months ago
0
Add run_tiny and run_medium targets
#1
luishgh
closed
2 months ago
0