8000 Tags · matszpk/cnfgen · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Tags: matszpk/cnfgen

Tags

0.6.2

Toggle 0.6.2's commit message 
Fixed typos in doc.

0.6.1

Toggle 0.6.1's commit message 
Fix typos in doc.

0.6.0

Toggle 0.6.0's commit message 
Change license to less restrictive.

0.5.6

Toggle 0.5.6's commit message 
Fix calc_log_bits.

0.5.5

Toggle 0.5.5's commit message 
Small docs fix.

0.5.4

Toggle 0.5.4's commit message 
Improve documentation.

0.5.3

Toggle 0.5.3's commit message 
Fixed typos.

0.5.2

Toggle 0.5.2's commit message 
Fixed typo and update README.md.

0.5.1

Toggle 0.5.1's commit message 
Add conversion integer from boolean.

0.5.0

Toggle 0.5.0's commit message 
Version 0.5.0. Adds optimized If-Then-Else, tables and booltables. Ad…

…ds min and max

integer functions. Adds subvalues method to dynamic integers. Adds helpers to check
whether expression nodes are same or negated.
0