Programy według hdl.sf.net

Klasy szablonów języka C++ dla logiki wielowartościowej obsługują dowolną precyzję i zdefiniowane przez użytkownika typy logiki wielowartościowej. Ta biblioteka zawiera wstępnie zdefiniowane typy danych: liczba całkowita, war