This is the Trace Id: d493bea3a915afbf8ddc2ec70d230f0c

Bring the world closer with Bing Wallpaper

Download the free app and enjoy breathtaking views with a new background each day.
A laptop displaying a colorful seascape from Bing Wallpaper.

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.

Download
  • 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.

Follow Microsoft