This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.

Vitor Santos Costa b07a35a993 Merge branch 'master' of https://github.com/vscosta/yap-6.3

2016-12-04 12:49:17 -06:00

..

cmake

adds

2016-04-05 02:52:50 +01:00

examples

document BDD package

2013-09-30 15:45:01 +01:00

simplecudd

fix atom_to_term and increase sharing on CUDD stuff

2016-11-23 17:23:59 -06:00

simplecudd_lfi

fix atom_to_term and increase sharing on CUDD stuff

2016-11-23 17:23:59 -06:00

bdd.md

signals

2016-11-23 22:35:39 -06:00

bdd.yap

bdd stuff

2015-03-08 02:15:53 +00:00

CMakeLists.txt

fix atom_to_term and increase sharing on CUDD stuff

2016-11-23 17:23:59 -06:00

config.h.in

Avoid complaining from strlen

2015-09-21 17:05:36 -05:00

configure.in

enable path expansion by default

2015-04-24 10:03:44 -06:00

cudd_config.h.in

Avoid complaining from strlen

2015-09-21 17:05:36 -05:00

cudd.c

support cudd 3.0

2016-04-14 11:58:35 +01:00

cudd.xx

Avoid complaining from strlen

2015-09-21 17:05:36 -05:00

ddnnf.yap

remove debugging

2013-03-10 17:24:47 +00:00

Makefile.in

try to clean-up makefiles and autoconfs

2014-10-26 17:39:52 +00:00

simpbool.yap

ddnnf support

2012-04-23 07:13:25 -05:00

trie_sp.yap

fix missing cases

2016-07-31 10:17:54 -05:00