issues
search
mdiep
/
Logician
Logic programming in Swift
MIT License
194
stars
10
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Migrate to swift5
#39
grype
opened
4 years ago
0
Inspect two variables
#38
ferranpujolcamins
opened
5 years ago
1
Fixup Goal's docstring
#37
kastiglione
closed
5 years ago
1
Add >> operator for variables
#36
ferranpujolcamins
closed
5 years ago
4
Fix Package manager support
#35
ferranpujolcamins
closed
5 years ago
3
Move the headers phase before the compile phase
#34
mdiep
closed
6 years ago
0
Xcode 9.3 / Swift 4.1
#33
mdiep
closed
6 years ago
0
Fix readme typo
#32
kastiglione
closed
6 years ago
1
Swift 4 / Xcode 9
#31
mdiep
closed
7 years ago
0
Not running with Xcode 9 and Swift 4
#30
between40and2
closed
7 years ago
1
Add iOS Framework
#29
335g
closed
7 years ago
3
Travis CI
#28
mdiep
closed
7 years ago
0
Added SwiftPM support (Closes #21)
#27
uraimo
closed
7 years ago
1
Move your blog entry onto github
#26
raytrask
opened
7 years ago
0
Add a link to Kanren.swift
#25
mdiep
closed
7 years ago
0
README
#24
mdiep
closed
7 years ago
0
bimap should be able to throw if a value can't be converted
#23
mdiep
opened
7 years ago
1
iOS framework
#22
mdiep
closed
7 years ago
0
SwiftPM compatibility
#21
mdiep
closed
7 years ago
0
Add a playground with a sudoku solver
#20
mdiep
closed
7 years ago
0
Add a playground with an N Queens solution
#19
mdiep
closed
7 years ago
0
Implement bimap that converts 1 value into 2
#18
mdiep
closed
8 years ago
0
Add support for deconstructing tuple variables
#17
mdiep
closed
8 years ago
1
Implement bimap
#16
mdiep
closed
8 years ago
0
Add a distinct goal
#15
mdiep
closed
8 years ago
0
Generators
#14
mdiep
closed
8 years ago
0
Add some missing equality goals
#13
mdiep
closed
8 years ago
0
Add a Stream type
#12
mdiep
closed
8 years ago
0
Use Result
#11
mdiep
opened
8 years ago
1
Implement an "all different" goal
#10
mdiep
closed
8 years ago
0
Inequality constraints
#9
mdiep
closed
8 years ago
0
Add a bimap method to Variables
#8
mdiep
closed
8 years ago
0
Build up complex values
#7
mdiep
closed
8 years ago
2
Add inequality constraints
#6
mdiep
closed
8 years ago
0
Add domain constraints
#5
mdiep
closed
7 years ago
1
Add a map method to Variables
#4
mdiep
closed
8 years ago
1
Store constraints as values that can be inspected and manipulated
#3
mdiep
opened
8 years ago
0
Add an Xcode playground with examples
#2
mdiep
closed
7 years ago
0
Fill out the README
#1
mdiep
closed
7 years ago
0