Re: Symulator i model checker Hipersieci

Article View: pl.comp.lang.funkcyjne

Article #789

Back to pl.comp.lang.funkcyjne Previous Next

#789

From: Artur Siekielski
Date: Tue, 28 Feb 2006 11:57

15 lines
1456 bytes

wtorek, 28 lut, Adam Przybyla:
> Artur Siekielski <gruesome@removepoczta.onet.pl> wrote:
>> Witam.
>> 
>> Na stronie http://manta.univ.gda.pl/~asiekiel/jhypernets/ został udostępniony
>> symulator Hipersieci Petriego, o którym pisałem w wątku "j. funkcyjne - jakie
>> zastosowania?". Ważna część narzędzia została zaimplementowana w Haskellu.
>> Jest pewien problem z wydajnością, tak więc jeżeli ktoś miałby chęć się temu
>> przyjrzeć, to bylibyśmy wdzięczni :).
> 	... warto pomyslec o dodaniu jakies licencji, np. (L)GPL czy BSD;-)

Licencja to GPL, ale fakt, że informacja jest chyba tylko na stronie, nie ma w
źródłach...

Pozdrawiam!

Technical Details

Message-ID: <du1dqs$ot3$1@opal.futuro.pl>

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!opal.futuro.pl!not-for-mail

References: <du1al2$n8k$1@opal.futuro.pl> <newscache$k1cevi$hje$1@gormenghast>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!opal.futuro.pl!not-for-mail
From: Artur Siekielski <gruesome@REMOVEpoczta.onet.pl>
Newsgroups: pl.comp.lang.funkcyjne
Subject: Re: Symulator i model checker Hipersieci
Date: Tue, 28 Feb 2006 11:57:16 +0000 (UTC)
Organization: Pro Futuro
Lines: 15
Message-ID: <du1dqs$ot3$1@opal.futuro.pl>
References: <du1al2$n8k$1@opal.futuro.pl> <newscache$k1cevi$hje$1@gormenghast>
NNTP-Posting-Host: 25-m.sm-rozstaje.pl
Mime-Version: 1.0
X-Trace: opal.futuro.pl 1141127836 25507 83.142.178.25 (28 Feb 2006 11:57:16 GMT)
X-Complaints-To: usenet@futuro.pl
NNTP-Posting-Date: Tue, 28 Feb 2006 11:57:16 +0000 (UTC)
User-Agent: slrn/0.9.8.1pl1 (Linux)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message