Network Logic Solver
Network Logic Solver is a Datalog solver that supports non-stratifiable negation and aggregation.
Important! Selecting a language below will dynamically change the complete page content to that language.
Version:
0.1
Date Published:
1/15/2024
File Name:
nls-0.1.zip
File Size:
957.3 KB
Network Logic Solver is a Datalog solver that supports non-stratifiable negation and aggregation.Supported Operating Systems
Windows 10, Windows 7, Windows 8
- Windows 7, Windows 8, or Windows 10
- Click Download and follow the instructions.