Giters
mdiep
/
Logician
Logic programming in Swift
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
194
Watchers:
13
Issues:
18
Forks:
10
mdiep/Logician Issues
Inspect two variables
Updated
5 years ago
Comments count
1
Not running with Xcode 9 and Swift 4
Closed
7 years ago
Comments count
1
iOS framework
Closed
7 years ago
SwiftPM compatibility
Closed
7 years ago
Move your blog entry onto github
Updated
7 years ago
bimap should be able to throw if a value can't be converted
Updated
8 years ago
Comments count
1
Store constraints as values that can be inspected and manipulated
Updated
8 years ago
Fill out the README
Closed
8 years ago
Add an Xcode playground with examples
Closed
8 years ago
Add domain constraints
Closed
8 years ago
Comments count
1
Add support for deconstructing tuple variables
Closed
8 years ago
Comments count
1
Build up complex values
Closed
8 years ago
Comments count
2
Add a bimap method to Variables
Closed
8 years ago
Implement an "all different" goal
Closed
8 years ago
Use Result
Updated
8 years ago
Comments count
1
Add a Stream type
Closed
8 years ago
Add inequality constraints
Closed
8 years ago
Add a map method to Variables
Closed
8 years ago
Comments count
1