Software Listing of Author : "University Of Applied Sciences Potsdam"
- clasp
- License: Freeware
- Price: 0.00


clasp allows is an implementation of the answer set programming algorithm that allows you to solve normal logic programs. The method is based on the conflict-driven nogood learning technique.
You can use this tool as a ASP solver, SAT solver or PB solver for your projects that involve answer set solving.
- Publisher: University of Applied Sciences Potsdam
- Date Released:
- Download
- Platform: WinOther
- claspfolio
- License: Freeware
- Price: 0.00


claspfolio is a compact tool that can help you use machine-learning techniques for selecting the solving algorithm. It is a portfolio solver that can choose between multiple configurations of clasp for solving ASP programs.
This command line tool can also be used by creating batch files for the complex argument sets and repeated operations.
- Publisher: University of Applied Sciences Potsdam
- Date Released:
- Download
- Platform: WinOther
- clingo
- License: Freeware
- Price: 0.00


clingo is a compact application designed to combine the usage of both clasp and Gringo. It is an efficient combination between the solver and the grounder which uses the same input language as Gringo.
You can use this tool for solving logic programs by entering the desired parameters using the command line interface. It can also work as a simple solver by using the "-clasp" argument.
- Publisher: University of Applied Sciences Potsdam
- Date Released:
- Download
- Platform: WinOther
- Fritzing
- License: Freeware
- Price: 0.00


The Fritzing application was designed to be an open-source initiative to support designers, artists, researchers and hobbyists to take the step from physical prototyping to actual product.
We are creating this software in the spirit of Processing and Arduino, developing a tool that allows users to document their Arduino and other electronic-based prototypes, share them with others, teach electronics in a classroom, and to create a pcb layout for manufacturing.
Fritzing is essentially an Electronic Design Automation software with a low entry barrier, suited for the needs of designers and artists. It uses the metaphor of the breadboard, so that it is easy to transfer your hardware sketch to the software. From there it is possible to create PCB layouts for turning it into a robust PCB yourself or by help of a...
- Publisher: University of Applied Sciences Potsdam
- Date Released:
- Download
- Platform: WinOther
- Gringo
- License: Freeware
- Price: 0.00


Gringo is a compact application that can be used to calculate the ground-equivalent program by using a give s set of variables. The role of the application is to act as a grounder for the answer set solvers that work with variables.
If you need to use an answer set solvers and you need to remove the variables from a given program, this tool can be of help.
- Publisher: University of Applied Sciences Potsdam
- Date Released:
- Download
- Platform: WinOther
- iclingo
- License: Freeware
- Price: 0.00


iclingo is a command line utility which implements an incremental APS system to the functions of the clingo application. The goal of the application is to produce only the ground rules stemming for the program slice and to avoid repeating the previously produced ground rules.
As the clingo program, this tool includes the solver which accumulates the ground rules in order to calculate the answer sets.
- Publisher: University of Applied Sciences Potsdam
- Date Released:
- Download
- Platform: WinOther

