image/svg+xml
1.
Quick start
Requirements
Installation
Eight Queens puzzle
Project details
Trello
2.
d0sl language
Semantic and Domain models
Predicate
Logical operations
If implication
For all
Variables
Domain model
Use
Editor tips
How to run model in MPS
3.
Vision
Problems of algorithms
Semantic technology
Applications
Digital contract example
Mathematical foundations
Articles
4.
Glossary
More
Github repo
Credits
English
Star
d0sl
> Credits
Credits
Contributors
@kuruhuru
@vitgum
