Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 30.135.730 Times

Download - Interactive BDD Environment 1.1
 

Interactive BDD Environment 1.1

Interactive BDD Environment
Interactive BDD Environment project is a shell like utility for working with ROBDDs. IBEN is a tool used for teaching Reduced Ordered Binary Decision Diagrams. It allows the student to work with ROBDDs without learning a complex C or C++ interface to an ROBDD package. One can enter the expressions interactively, and view the result as a graph or ask questions about the ROBDD, such as the number of nodes in the ROBDD..

Download Interactive BDD Environment From
Download Link #1
POPULAR DOWLOADS
Education  -  KB Piano 2.5.2
KB Piano will turn your computer into a piano and more. Easily create song with multiple instruments (guitar, bass, drums, and vocals from your microphone). If you don't know music theory, use the application tools to automatically create...
10.61 MB  
Education  -  Dictconv 0.2
Dictconv is a program to convert a dictionary from one format to another. Dictconv supports conversion from Babylon glossaries (.bgl) to stardict. KTranslator should support any language (I hope that) and come with a plugin system, to ease the...
235.52 KB  
Education  -  Bible-Discovery 1.9
Bible-Discovery is complex Bible studying software. Bible-Discovery contains several Bible translations, dictionaries, tools for helping to understand the texts in the original language, bookmark handling, customizable font size and colour, a...
19 MB  
Education  -  IntraSchool 0.1.0
IntraSchool project is a school intranet management system. IntraSchool is a school intranet management system for Announcements, Attendance, Assignments, and Computer Issue Tracking throughout a school.. Get IntraSchool CMS at SourceForge.net....
122.88 KB  
Education  -  WikSpeak 1.1
WikSpeak is a tool that allows non-native English speakers to analyze the correlation between the pronunciation and spelling of English words. This program is a simple and fast graphic interface which can retrieve the phonetic transcription ( IPA...
4.05 MB  
Education  -  Open Administration for Schools 2.40
Open Admin for Schools is a School Administration Program. It is a freely available, open source software package and is licensed under the GNU General Public License. Open Administration for Schools project is entirely web based and can run...
 
Education  -  Physics 3D 1.0.5
Physics 3D project is a 3D physics simulation program. It simulates gravitational attraction, momentum, and collisions of rigid bodies. It is written using Java and the Java3D API..
419.84 KB  
Education  -  whiteboard 1.0.3
Whiteboard is a fully-featured and -integrated courseware system, targeted toward colleges and universities. It supports multiple departments and courses (including cross-listed courses); simple migration of courses to new semesters; grade...
102.4 KB  
Education  -  ScoreBoard 0.2 Beta
ScoreBoard is a tiny program to keep scores in a quiz. It allows users to customize the appearance of each group. ScoreBoard project may comes handy if you are organizing a quiz. This is my first QT project. I am still trying to get to the...
655.36 KB  
Education  -  PG Calculator 2.2-10
PG Calculator is a powerfull scientific calculator and an excellent replacement for standard calculator. It ofers full customizable user inteface and looks like real calculator on user desktop. PG Calculator works in Algebraic and RPN modes....
2.65 MB