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.


  • Platform: WinOther

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.


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


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

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


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


  • Platform: WinOther
New Reviews

Print Inspector

Whether you are using a printer connected to your local desktop computer or a print server sometimes you need to see whats going on in your printer by having a close look at the print jobs sent by the users. Print Inspector is such type software ...


Disk Genius

Disk Genius was formerly known as Partition Guru which is an all-in-one solution for disk partition management, data recovery and disk repairing. It can recover lost files from partition, backup and restore partition table, clone partition or clone ...


Safe In Cloud

It is quite difficult to find any computer users nowadays who do not need to use the web, for any purpose. Whether it is for education or entertainment, the web is your best resource. You also need to use various online services for banking, ...


PictBear

Nowadays, a majority of PC users resort to digital image editing once in a while. It may be required for retouching image captured in smart phones or for creating an album in Facebook. For some people, tinkering with digital images is a pastime too. ...


Panda Cloud Cleaner

PC security has become a tricky and complicated subject both for home users and network supervisors, with complexity and risk factors multiplying over the years. Using a single antivirus app may not be enough anymore. That explains why many users ...


SnapCrab

Nearly every PC users need to take screenshots from time to time, whether it is for personal or professional needs. While using the basic Windows screenshot capture method is available, it is not adequate for everyone. When you want to capture ...


BitKiller

Dealing with various types of data efficiently holds the key to success in any computing task. Apart from generating new data and modifying existing files, it becomes necessary to delete existing files at times. While most users resort to using ...


New Downloads

Pidro Challenge

The Pidro card game - a game
of daring and skill. You and
your computer partner play
against two computer
opponents.

UFS Explorer Professional
Recovery

UFS Explorer Professional
Recovery is a software
solution for a wide range of
data recovery tasks, with
particular focus ...

ExtraMAME

A small MS Windows compatible
game GUI wrapper for MAME, the
Multiple Arcade Machine
Emulator authored by Nicola
Salmoria ...

RationalPlan Single Project

RationalPlan Single Project is
a project management software
covering the project
management areas starting with
WBS ...

Devart ODBC Driver for
Oracle

Devart ODBC Driver for Oracle
is a high-performance
connectivity solution with
enterprise-level features for
accessing ...

Sheet Lightning Pro

Sheet Lightning is a
specialised engineering 2D/3D
CAD System for creating and
unfolding sheet metal designs
for ...

Database Workbench Pro

Cross database engine
developer IDE for PostgreSQL,
InterBase, SQL Server,
Firebird, MySQL, Oracle,
NexusDB, MSDE and ...

Devart ODBC Driver for
MySQL

Devart ODBC Driver for MySQL
is a high-performance
connectivity solution for
accessing MySQL, Microsoft
Azure Database ...

RationalPlan Project Viewer

RationalPlan Project Viewer is
a free project planning
software viewer, the perfect
solution for anyone (from
project ...

Atlantis Word Processor

Atlantis is a standalone word
processor for both
professional writers and those
who create documents only
occasionally. ...