द्वारा कार्यक्रम hdl.sf.net

मल्टी-वैल्यू लॉजिक के लिए सी ++ टेम्पलेट कक्षाएं मनमाने ढंग से सटीकता का समर्थन करती हैं और उपयोगकर्ता परिभाषित मल्टी-वैल्यू लॉजिक प्रकार। यह पुस्तकालय पूर्व-परिभाषित डेटा प्रकारों के साथ आता है: पूर्णांक, बूलियन, बिट, तर्क,