Back to search
Updates Kodkodi to run as a server, enabling programs to solve problems using Kodkod solver through socket communications. The kodkodi server is enabled by the -server cmdline option. *Required: This modifies the two files "Kodkodi.java" and "KodkodiParser.java" from Kodkodi source package, found at: http://www4.in.tum.de/~blanchet/#kodkodi. KodkodiClient.java is a sample client program, as a Kodkodi listener. programs terminated by semi-colon
Stars
1
Forks
0
Watchers
1
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
No contributors data available