 |
 |
|
|
|
Download
|
Download Now GPL (GNU General Public License) Downloads till now: 6 |
Quick search
Rate this software
No. Votes
0
Linux
Windows
Mac
Mobile
Drivers
Scripts - DHTML
Scripts - DHTML (new)Web Developer Blog
Web Developer Blog (new)Scripts and Applications
AjaxASP
ASP.NET
C and C++
CFML
CGI and Perl
Flash
Java
JavaScript
PHP
Python
XML
Flipper
Details
| Last Update: | 2008-02-16 11:01:46 |
| Version: | 0.02.0 |
| License/Program Type: | GPL (GNU General Public License) |
| Publisher: | André Rognes |
| Price: | $0.00 |
Flipper is a program that does randomised local search for
satisfiability of 3 variable prenex sentences in the pure predicate
calculus. It does so by proving satisfiability relative to given
decidable theories.
Requirements:
· head
· bash
· make
· gcc
· gnu-prolog
What's New in This Release:
· New format for tables.
· Experimental search strategy which exploits unit and
Horn sentences.
0 comments
Add to
Flipper Version History
| Product | Date Added |
|---|---|
| Flipper 0.02.0 | 2008-02-16 11:01:46 |
Related Software
fsc2 |
From category: Science |
| fsc2 2.3.2 is science software developed by Jens Thoms Torring. fsc2 is a program running under Linux for controlling spectrometers. Programs for remote control of spectrometers usually are home-wr... | |
KBib |
From category: Science |
| KBib is a BibTex management program for KDE (Similar to KBibTex).... | |
auto-nng 1.0 |
From category: Science |
| auto-nng 1.0 is science software developed by Jan Behrens. auto-nng is a software for analysis and classification of data, using artificial neuronal networks. You can feed an amount of datasets con... | |
Bulk Meter Flow and Operations |
From category: Science |
| Bulk Meter Flow and Operations 1.2.4 is science software developed by Steffen Macke. Bulk Meter Flow and Operations provides a Web-based application to manage water meter readings. Requireme... | |
Fachwerk |
From category: Science |
| Fachwerk 0.2.1 is science software developed by A. Vontobel. Fachwerk addresses to structural engineers who are involved with analyzing and designing reinforced concrete structures. Fachwerk intend... | |
nmr relax |
From category: Science |
| nmr-relax is designed for the study of the dynamics of proteins or other macromolecules.... | |
Bayani |
From category: Science |
| Bayani is an open source and free scientific environment!... | |
Decade |
From category: Science |
| Decade 0.42 is science software developed by Thomas Paviot. Decade is a tool for simulating rigid body dynamics. Decade can work as a standalone program. Decade can also also work from the analy... | |
CLC Protein Workbench |
From category: Science |
| CLC Protein Workbench 2.1 is science software developed by CLC bio A/S. CLC Protein Workbench is a bioinformatics program providing a wide range of advanced protein sequence analyses. CLC Protein W... | |
FARnodes |
From category: Science |
| FARnodes 1.0 is science software developed by Josef Spillner. FARnodes is a protocol simulation and execution environment. FARnodes project comes with a command-line frontend, a protocol code distr... | |
Channelflow |
From category: Science |
| Channelflow is a direct numerical simulator for incompressible Navier-Stokes channel flow, written in C++.... | |
Fachwerk3D |
From category: Science |
| Fachwerk3D 0.2.1 is science software developed by A. Vontobel. Fachwerk3D calculates three-dimensional strut-and-tie models used by structural engineers for analysing and designing reinforced concr... | |
WIKINDx |
From category: Science |
| WIKINDx is a single or multi-user research environment storing searchable bibliographies, notes, and citations.... | |
GPlot |
From category: Science |
| GPlot provides a convenient front-end for gnuplot.... | |
Contact Conductance Estimator |
From category: Science |
| Contact Conductance Estimator 0.5 Beta is science software developed by Ido Perelmutter. Contact Conductance Estimator (CoCoE) is a program that estimates the conductance (or resistance) between tw... | |
Top Downloads
15. dmg2iso
16. iBlackjack
19. LG GSA-2166D
DownloadTube Editor Reviews
| 1. CoverPro |
| CoverPro is \"The Original CD/DVD Cover Printing Utility.\" ... |
| 2. MP3 Burner Plus |
| MP3 Burner Plus is a powerful tool that allows you to easily... |
| 3. Tunatic b |
| If you love that song but don\'t know what it is, Tunatic ca... |
| 4. MP3 Sorter |
| MP3 Sorter is a powerful and reliable tool, a fully-automati... |
| 5. Audio Burner Plus |
| Audio Burner Plus is an easy to use, smart and reliable tool... |
| 6. Intellexer Spellchecker SDK |
| Intellexer Spellchecker SDK will provide spell check capabil... |
| 7. MostFun CAKE MANIA - Unlimited Play |
| Cake Mania is a highly-strategic arcade game, in which you h... |
| 8. Wondershare Video Converter for Mobile Phone |
| Wondershare Video Converter for Mobile Phone is a profession... |
| 9. 4you 1st DMA Finder |
| DMA Finder is a small program that will show you which DMA c... |
| 10. Music Playlist Utility |
| Music Playlist Utility is an Internet-ready 32-bit music pla... |
Software Reviews Full List
Recent Blog Posts
| 1. Streamripper for Winamp - 8 |
| You may also easily control Streamripper for Winamp from its... |
| 2. Streamripper for Winamp - 7 |
| ... |
| 3. Streamripper for Winamp - 6 |
| Skins are also supported.... |
| 4. Streamripper for Winamp - 5 |
| Selecting the output filename pattern may also be easily don... |
| 5. Streamripper for Winamp - 4 |
| In the "File" tab you will find some more important options,... |
| 6. Streamripper for Winamp - 3 |
| The "Connection" area of the "Options" window is the place w... |
| 7. Streamripper for Winamp - 2 |
| Press the "Start" button and watch Streamripper for Winamp i... |
| 8. Streamripper for Winamp - 1 |
| Visited www.shoutcast.com, loaded a few streams into the Win... |
| 9. FreeSnap |
| Another freeware tool that rocks is the little FreeSnap. Thi... |
| 10. Streamripper for Winamp |
| Streamripper is an Open Source (GPL) application that allow... |
Last 20 Scripts
| 1. NickJump |
| The user selects a page location from a drop-down menu on yo |
| 2. SurgeMenu |
| SurgeMenu is a flexible, easily and highly customizable dyna |
| 3. IndexU MODs Collection (Over 35+ MODs Available) |
| Largest collection of IndexU mods and addon for your IndexU |
| 4. Pulldown Menu |
| This is a simple pulldown navigation menu script. You can se |
| 5. Fast Track Sites Simply AJAX Forum System (SAFS) |
| The Fast Track Sites Simply AJAX Forum System(SAFS for short |
| 6. Simple CSV Upload Script |
| This is a Simple CSV Upload script that makes use of the 'LO |
| 7. EasyLinks |
| Easylinks is a Links4all script. You can use it to create li |
| 8. server side countdown clock |
| Just like countdown-clock.js, this script allows you to plac |
| 9. WebTextPHP - Best quality SMS scripts |
| 10. Postfix Evaluator |
| This JavaScript evaluates a Postfix(Postorder) expression. |
| 11. Webmatic Light |
| This applet can show some good light effect over any image l |
| 12. autoReferrals |
| autoReferrals is a web-based link administration system. Bas |
| 13. YouGuestIt |
| A guestbook is one of the best ways to make your visitors fe |
| 14. Chilkat S/MIME Component |
| Easily add S/MIME capability to your programs. Create signe |
| 15. Image gallery with iframes and sessions |
| Simple image gallery in iframes controlled by a session vari |
| 16. PHP Import Gmail, Yahoo, Hotmail, AOL Addresses |
| 17. phpAnyVote |
| This is a modified version of the "Name the Baby Computer" s |
| 18. Hot Link Cloaker |
| 19. COMobjects.NET Colorizer |
| COMobjects.NET Colorizer is a tool, which converts plain tex |
| 20. Web Ad Wizard |
Leave a comment