| ¹ÙÀÌÃ÷ ¼¼Æ® È¿À²ÀûÀÎ ¸â¹ö½± Å×½ºÆ®¸¦À§ÇÑ ±â´ÉÀû haskell µ¥ÀÌÅÍ ±¸Á¶ |
Áö±Ý ´Ù¿î·Îµå |
¹ÙÀÌÃ÷ ¼¼Æ® ¼øÀ§ ¹× ¿ä¾à
- °Ô½ÃÀÚ À¥»çÀÌÆ®:
- http://github.com/dbueno/funsat/wikis
¹ÙÀÌÃ÷ ¼¼Æ® ű×
¹ÙÀÌÃ÷ ¼¼Æ® ¼³¸í
È¿À²ÀûÀΠȸ¿ø Å×½ºÆ®¸¦À§ÇÑ ±â´ÉÀû Haskell µ¥ÀÌÅÍ ±¸Á¶ BITSETÀº ¸â¹ö½± Å×½ºÆÃÀ» ¼öÇàÇÏ´Â µ¥ µµ¿òÀ̵Ǵ ¹«·á ¹× ¿ÀÇ ¼Ò½º µ¥ÀÌÅÍ ±¸Á¶ÀÔ´Ï´Ù. ºñÆ® ¼¼Æ®´Â (non-nefunity) Ints¿¡ ¸ÅÇÎ ÇÒ ¼öÀÖ´Â À¯Çü¿¡¼ ±¸¼º¿øÀÇ ·¹Äڵ带 À¯ÁöÇÕ´Ï´Ù. »ðÀÔ, »èÁ¦, Å©±â ¹× ȸ¿ø Å×½ºÆ®¸¦ Áö¿øÇÏ¸ç ¿ÏÀüÈ÷ ¼ø¼öÇÕ´Ï´Ù (±â´ÉÀû). Âü°í : BITSETÀº LGPL Á¶°Ç¿¡ µû¶ó ¶óÀ̼¾½º ¹× ¹èÆ÷µË´Ï´Ù. ¿ä±¸ »çÇ× : ¡¤ GHC.
¹ÙÀÌÃ÷ ¼¼Æ® °ü·Ã ¼ÒÇÁÆ®¿þ¾î