issues
search
exercism
/
z3
Exercism exercises in Z3.
https://exercism.org/tracks/z3
MIT License
8
stars
13
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Provide messages for when a test case fails
#58
grantg012
closed
3 years ago
3
Add example code to check if z3 installs fine and mention license
#57
grantg012
closed
3 years ago
1
🤖 Add Ace editor and highlightjs languages to config.json
#56
ErikSchierboom
closed
3 years ago
1
🤖 Fix invalid UUIDs
#55
ee7
closed
3 years ago
1
Update config for two_product and rtos
#54
andjam19
closed
3 years ago
0
Two product production decision
#53
CSwift8
closed
3 years ago
3
Update TESTS.md
#52
Newby555
opened
3 years ago
0
Update RESOURCES.md
#51
Newby555
opened
3 years ago
0
Update LEARNING.md
#50
Newby555
opened
3 years ago
0
Update ABOUT.md
#49
Newby555
opened
3 years ago
0
Implement intermediate exercise: bowling
#48
Newby555
opened
3 years ago
0
RTOS Nonpreemptive Static Scheduling
#47
CSwift8
closed
3 years ago
3
quadratic-roots config and files
#46
andjam19
closed
3 years ago
1
local minima config and files
#45
andjam19
closed
3 years ago
1
goldbach config and files
#44
andjam19
closed
3 years ago
1
Update main config with prime-number exercise
#43
andjam19
closed
3 years ago
0
Update main config with prime-number exercise
#42
andjam19
closed
3 years ago
0
missing_number config and files
#41
Newby555
closed
3 years ago
0
Don't forget that you will need to update the repository config file at exercism/Z3/config.json as well
#40
andjam19
closed
3 years ago
1
Add config files for Eight Queens exercise
#39
Newby555
closed
3 years ago
0
Update repository config.json for eight queens exercise
#38
Newby555
closed
3 years ago
0
Prime Number Exercise
#37
andjam19
closed
3 years ago
4
Prime Number Exercise
#36
andjam19
closed
3 years ago
1
Equilateral Triangle Files
#35
Newby555
closed
3 years ago
0
Create config.json
#34
Newby555
closed
3 years ago
0
Added equilateral triangle config
#33
Newby555
closed
3 years ago
0
Added bowling files for scripts
#32
Newby555
closed
3 years ago
0
Create config.json for bowling exercise
#31
Newby555
closed
3 years ago
0
Putting averager files into single PR & adding scripts
#30
Newby555
closed
3 years ago
0
Update config.json
#29
Newby555
closed
3 years ago
0
Update config.json
#28
Newby555
closed
3 years ago
0
Add Goldbach's Conjecture Exercise
#27
grantg012
closed
3 years ago
2
Add exercise for finding the missing number in a list
#26
grantg012
closed
3 years ago
3
Sudoku problem
#25
grantg012
opened
3 years ago
1
Eight queens exercise
#24
grantg012
closed
3 years ago
0
Adding bowling files
#23
Newby555
closed
3 years ago
0
Create config.json for averager
#22
Newby555
closed
3 years ago
0
Update config.json
#21
Newby555
closed
3 years ago
0
Add instructions for bowling exercise
#20
Newby555
closed
3 years ago
0
🤖 Add authors and contributors to Practice Exercises
#19
ErikSchierboom
closed
3 years ago
0
Propositional logic exercise.
#18
JimmyQuenichet
closed
3 years ago
1
Add finding local minima exercise
#17
grantg012
closed
3 years ago
3
Quadratic Roots exercise
#16
grantg012
closed
3 years ago
4
🤖 Add docs configuration
#15
ErikSchierboom
closed
3 years ago
0
Equilateral triangle
#14
CSwift8
closed
3 years ago
0
Added other files for averager
#13
Newby555
closed
3 years ago
0
Create basic exercise: Averager
#12
Newby555
closed
3 years ago
0
Create basic exercise: Averager
#11
Newby555
closed
3 years ago
0
Revert adding files
#10
Newby555
closed
3 years ago
0
Create basic exercise: averager
#9
Newby555
closed
3 years ago
0
Previous
Next