issues
search
SheafificationOfG
/
BoolosBrewery
You are hanging out with Alice, Bob, and Charlie at Boolos' Brewery...
35
stars
23
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Not all engineer responses checked
#33
gsitcia
closed
3 weeks ago
1
Challenging string restrictions to its limits
#32
ganitsu
closed
3 weeks ago
3
15 complexity hard solution ;)
#31
ITR13
closed
3 weeks ago
1
Removed strings from my default solution
#30
ITR13
closed
3 weeks ago
1
simplest_sat
#29
ganitsu
closed
3 weeks ago
2
String complexity count doesn`t make sense
#28
ganitsu
closed
3 weeks ago
3
Optimizing ganitsu's complexity optimization to its limit
#27
viliml
closed
4 weeks ago
1
ganitsu+vimil sat, low complexity
#26
ganitsu
closed
1 month ago
2
Added question complexity metric
#25
ITR13
closed
1 month ago
1
Added low complexity Normal solution
#24
ITR13
closed
1 month ago
1
Hand-made hard solution
#23
ITR13
closed
1 month ago
4
My own hard submission found using SAT solving
#22
viliml
closed
1 month ago
1
Pruning unneeded questions from jix's solution
#21
viliml
closed
1 month ago
2
Further optimized
#20
oliverweissl
closed
1 month ago
2
asserting absurdly minimal complexity
#19
nleanba
closed
1 month ago
6
Optimized Hard
#18
oliverweissl
closed
1 month ago
1
Optimized Default Solution
#17
oliverweissl
closed
1 month ago
1
Optimized Easy Example
#16
oliverweissl
closed
1 month ago
1
Hard submission with an exhaustive rule set found using SAT solving
#15
jix
closed
1 month ago
2
Optimisation for bryker's 6 question solution
#14
Rrst1
closed
1 month ago
5
Create AST solver
#13
rocket3989
closed
1 month ago
3
Hard submission in 6 questions
#12
bryker
closed
1 month ago
3
Use rustyline so we can have history for questions
#11
jacks0n9
closed
1 month ago
0
Easy Solution & small functionality addition
#10
ITR13
closed
1 month ago
1
unrecognized arguments in update-scoreboard action
#9
tmorgan7192
closed
1 month ago
1
Test
#8
tmorgan7192
closed
1 month ago
0
Hard submission
#7
tmorgan7192
closed
1 month ago
0
Add submission
#6
tmorgan7192
closed
1 month ago
1
submission
#5
vzsky
closed
1 month ago
0
'hard high scores' link goes to normal high scores page
#4
Starwort
closed
1 month ago
1
fix "hard mode high scores" link
#3
silvncr
closed
1 month ago
1
Questions about future answers
#2
BarbieWithDilutionfridge
closed
1 month ago
1
solution for the "easy" prompt
#1
rocket3989
closed
1 month ago
2