URBI-project
URBI: Universele Robotic Body-interface. Urbi is een scripted-opdrachttaal die wordt gebruikt voor het besturen van robots (AIBO, PIONEER, ...). ...
 | FlipperFlipper is een programma dat gerandomiseerd lokaal zoektocht naar bevrediging van 3 variabele prenex zinnen. |
| Download nu | |
Flipper Rangschikking & Samenvatting
Advertentie
- Vergunning:
- GPL
- Prijs:
- FREE
- Naam uitgever:
- Andr Rognes
- Uitgever website:
- http://flipper.berlios.de/
Flipper Tags
Flipper Beschrijving
Flipper is een programma dat gerandomiseerd lokaal zoektocht naar bevrediging van 3 variabele prenex zinnen. Flipper is een programma dat gerandomiseerd lokaal zoektocht naar bevrediging van 3 variabele prenex zinnen in de pure predicaatcalculus. Het doet dit door bevrediging te bewijzen ten opzichte van eencijferige theorieën. REQUIRINGEN: · Hoofd · bash · maken · GCC · GNU-prologwhat is nieuw in deze release: · Nieuw formaat voor tabellen. · Experimentele zoekstrategie die eenheid en hoornzinnen exploiteert.
Flipper Gerelateerde software
