Programmi di dolphin-project.sf.net

Il Dolphin Project è destinato ad essere un progetto di ricerca che aggrega strumenti relativi agli strumenti e agli strumenti del Risolutore di soddisfacibilità open source ad essi correlati come i controllori di modelli lim