Logic Tools

Logic Tools is a project of IDEAS.

Installation

Requirements

You will need npm to be able to compile this project. We use webpack to bundle the src files together. Run

npm install

to install the requirements found in package.json. With the requirements installed you can run

npx webpack

to compile the src directory into bundles. You can also specify the directory that webpack outputs to with -o output_dir.

Assets

The video files used in the help section of the site are too large to be hosted on GitHub. Contact one of the developers to get the files if you wish to run them on your own server/computer.

Server

Configuration

Copy the config.json.example file to config.json and fill in the configuration file. To disable certain tools from being used remove the respective entry from the tools key.

Running local server

To run the server locally with php first compile the source and then change your directory to the output of the compilation (./dist). There you can run php

$:./dist php -S 127.0.0.1:8080

while running php the tool should be available at 127.0.0.1:8080

Running production server

For information about running Logic Tools on a production server refer to install.md.