Datalog++ WIN32 Version Download

1. Source Distribution

Step 1: Click here to download.

Step 2: Use Winzip or Pkunzip to extract the downloaded zip file to a directory.

Step 3: Start Visual C++ and open the workspace <datalog++ root>\dlp\dlp.dsw.

Step 4: You'll see two project in the workspace, namely, dlp.dsp and parserlib.dsp. Build parserlib.dsp first, then build dlp.dsp.

Step 5: The executable dlp.exe is in datalog++\bin.

2. Executable Distribution

• Step 1: Click here to download.
• Step 2: Use Winzip or Pkunzip to extract the downloaded zip file to a directory(For example, datalog++).
• Step 5: The executable dlp.exe is in the root directory(For example, datalog++/dlp.exe).

3. Documentation

• Click here to download. The documentation includes the user manual, system specification, design report and test report.