Commit 525d01b
committed
new kodkodz engine is integrated
1 parent c196040 commit 525d01b
File tree
188 files changed
+90387
-2353
lines changed- Source
- eu.modelwriter.core.alloyinecore
- .idea
- kodkod
- SMT
- examples/kodkod/examples
- alloyinecore
- alloy
- csp
- models
- algorithm
- discovery
- election
- gc
- multicasting
- mutex
- ringOrientation
- spanningTree
- synchronsation
- logic/syllogism
- model
- fileSystem
- java
- microsoftCom
- transport
- typography
- puzzle
- farmerChickenFox
- halmosHandshake
- prisonerRoomVisit
- simple
- book
- games
- genealogy
- lists
- stateMachine
- softwareAbstractions
- appendixE
- chapter2
- chapter4
- chapter5
- chapter6
- memory
- util
- messaging
- trace
- types
- tptp
- src/kodkod
- engine
- fol2sat
- satlab
- util/z3
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
188 files changed
+90387
-2353
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | | - | |
| 2 | + | |
| 3 | + | |
3 | 4 | | |
| 5 | + | |
Lines changed: 0 additions & 1658 deletions
This file was deleted.
Large diffs are not rendered by default.
0 commit comments