cjdrake / boolexpr Goto Github PK

View Code? Open in Web Editor NEW

19.0 19.0 4.0 11.97 MB

Boolean Expressions

License: Apache License 2.0

C++ 61.19% Python 22.72% Jupyter Notebook 14.08% CMake 2.02%

boolexpr's People

Contributors

Stargazers

Watchers

Forkers

pombredanne black-hack songhtdo ymarkovitch

boolexpr's Issues

Access to auxiliary variables in Tseytin transformation

Hello,
The auxiliary variables in Tseytin are non-independent variables, i.e. they are composed of the originals. How can one get access to this composition?
In other words, how can one verify equisatisfiability? (https://en.wikipedia.org/wiki/Tseytin_transformation#Approach)
Thanks.

Investigate using std::enable_shared_from_this

Recently became aware of std::enable_shared_from_this function. If I understand it correctly, I can replace some of the tortured logic that wraps shared pointer functionality.

ESPRESSO?

Do you plan to implement ESPRESSO in this library much as you did in PyEDA?

Segfault when attempting 0/1 equiv 0/1

>>> from boolexpr import ZERO
>>> ZERO.equiv(ZERO)
Segmentation fault (core dumped)

>>> from boolexpr import ONE
>>> ONE.equiv(ONE)
Segmentation fault (core dumped)

Implement cardinality constraints

This paper lists several methods for implementing a Boolean expression that tests the number of hot bits in the input: http://www.carstensinz.de/papers/CP-2005.pdf, also called "cardinality constraints".

Implement simplification for logical/illogical

windows 10 python 3.6.5 import error

import boolexpr
Traceback (most recent call last):
File "", line 1, in
File "C:\Program Files\Python36\lib\site-packages\boolexpr_init_.py", line 281, in
lib = ffi.dlopen(libpath)
File "C:\Program Files\Python36\lib\site-packages\cffi\api.py", line 141, in dlopen
lib, function_cache = _make_ffi_library(self, name, flags)
File "C:\Program Files\Python36\lib\site-packages\cffi\api.py", line 802, in _make_ffi_library
backendlib = _load_backend_lib(backend, libname, flags)
File "C:\Program Files\Python36\lib\site-packages\cffi\api.py", line 798, in _load_backend_lib
return backend.load_library(path, flags)
OSError: cannot load library 'C:\Program Files\Python36\lib\site-packages\boolexpr_boolexpr.cp36-win_amd64.pyd': error 0x7e

Clarify whether clauses need to contain only distinct literals

Currently, both of the following are true:

>>> or_(X[0], X[1]).is_clause()
True
>>> or_(X[0], ~X[0]).is_clause()
True

B/c there's no logical problem, we are allowing multisets (eg {1,1,2}), and tautological sets (eg {1,-1,2}) to be "clauses".

According to Knuth:

"when we think of clauses as sets of literals rather than ORs of literals, we usually rule out multisets ... that aren't sets".
"we usually assume that the clauses input to a SAT-solving algorithm consist of strictly distinct literals".

I'm leaning towards strengthening the definition so that is_clause() method returns False for such cases.

Implement absolute value operator for literals

I cannot install the library for python 2.7

Hi!
I have troubles with boolexpr library installation. I've tried every possible solution to the problem I got after googling it but nothing works. This is what I get:

C:\WINDOWS\System32>pip install boolexpr
DEPRECATION: Python 2.7 will reach the end of its life on January 1st, 2020. Please upgrade your Python as Python 2.7 won't be maintained after that date. A future version of pip will drop support for Python 2.7.
Collecting boolexpr
  Using cached https://files.pythonhosted.org/packages/f3/f4/923dd0954228f85ed219da453bbedfdae21ecab4f0683d164fb50e1b4165/boolexpr-2.4.tar.gz
Requirement already satisfied: cffi>=1.5.0 in c:\users\me\anaconda2\lib\site-packages (from boolexpr) (1.11.5)
Requirement already satisfied: pycparser in c:\users\me\anaconda2\lib\site-packages (from cffi>=1.5.0->boolexpr) (2.19)
Building wheels for collected packages: boolexpr
  Building wheel for boolexpr (setup.py) ... error
  Complete output from command c:\users\me\anaconda2\python.exe -u -c "import setuptools, tokenize;__file__='c:\\users\\me\\appdata\\local\\temp\\pip-install-cfs8jo\\boolexpr\\setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d c:\users\me\appdata\local\temp\pip-wheel-y2y3p9 --python-tag cp27:
  running bdist_wheel
  running build
  running build_py
  creating build
  creating build\lib.win-amd64-2.7
  creating build\lib.win-amd64-2.7\boolexpr
  copying boolexpr\misc.py -> build\lib.win-amd64-2.7\boolexpr
  copying boolexpr\util.py -> build\lib.win-amd64-2.7\boolexpr
  copying boolexpr\wrap.py -> build\lib.win-amd64-2.7\boolexpr
  copying boolexpr\__init__.py -> build\lib.win-amd64-2.7\boolexpr
  running build_ext
  building 'boolexpr._boolexpr' extension
  creating build\temp.win-amd64-2.7
  creating build\temp.win-amd64-2.7\Release
  creating build\temp.win-amd64-2.7\Release\boolexpr
  creating build\temp.win-amd64-2.7\Release\boolexpr\third_party
  creating build\temp.win-amd64-2.7\Release\boolexpr\third_party\glucosamine
  creating build\temp.win-amd64-2.7\Release\boolexpr\third_party\glucosamine\src
  creating build\temp.win-amd64-2.7\Release\boolexpr\third_party\glucosamine\src\core
  creating build\temp.win-amd64-2.7\Release\boolexpr\src
  C:\Users\Me\AppData\Local\Programs\Common\Microsoft\Visual C++ for Python\9.0\VC\Bin\amd64\cl.exe /c /nologo /Ox /MD /W3 /GS- /DNDEBUG -DNDEBUG -Iboolexpr\include -Iboolexpr\third_party\glucosamine\src -Iboolexpr\third_party\boost-1.54.0 -Ic:\users\me\anaconda2\include -Ic:\users\me\anaconda2\PC /Tpboolexpr\third_party\glucosamine\src\core\Solver.cc /Fobuild\temp.win-amd64-2.7\Release\boolexpr\third_party\glucosamine\src\core\Solver.obj /std:c++11 /Wall
  cl : Command line warning D9002 : ignoring unknown option '/std:c++11'
  Solver.cc
  c:\users\me\appdata\local\programs\common\microsoft\visual c++ for python\9.0\vc\include\codeanalysis\sourceannotations.h(81) : warning C4820: 'vc_attributes::Pre' : '4' bytes padding added after data member 'vc_attributes::Pre::Access'
  c:\users\me\appdata\local\programs\common\microsoft\visual c++ for python\9.0\vc\include\codeanalysis\sourceannotations.h(96) : warning C4820: 'vc_attributes::Pre' : '4' bytes padding added after data member 'vc_attributes::Pre::NullTerminated'
  c:\users\me\appdata\local\programs\common\microsoft\visual c++ for python\9.0\vc\include\codeanalysis\sourceannotations.h(112) : warning C4820: 'vc_attributes::Post' : '4' bytes padding added after data member 'vc_attributes::Post::Access'
  c:\users\me\appdata\local\programs\common\microsoft\visual c++ for python\9.0\vc\include\codeanalysis\sourceannotations.h(191) : warning C4820: 'vc_attributes::PreRange' : '4' bytes padding added after data member 'vc_attributes::PreRange::Deref'
  c:\users\me\appdata\local\programs\common\microsoft\visual c++ for python\9.0\vc\include\codeanalysis\sourceannotations.h(203) : warning C4820: 'vc_attributes::PostRange' : '4' bytes padding added after data member 'vc_attributes::PostRange::Deref'
  boolexpr\third_party\glucosamine\src\core/Solver.h(57) : fatal error C1083: Cannot open include file: 'cstdint': No such file or directory
  error: command 'C:\\Users\\Me\\AppData\\Local\\Programs\\Common\\Microsoft\\Visual C++ for Python\\9.0\\VC\\Bin\\amd64\\cl.exe' failed with exit status 2

  ----------------------------------------
  Failed building wheel for boolexpr
  Running setup.py clean for boolexpr
Failed to build boolexpr
Installing collected packages: boolexpr
  Running setup.py install for boolexpr ... error
    Complete output from command c:\users\me\anaconda2\python.exe -u -c "import setuptools, tokenize;__file__='c:\\users\\me\\appdata\\local\\temp\\pip-install-cfs8jo\\boolexpr\\setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" install --record c:\users\me\appdata\local\temp\pip-record-udcft4\install-record.txt --single-version-externally-managed --compile:
    running install
    running build
    running build_py
    creating build
    creating build\lib.win-amd64-2.7
    creating build\lib.win-amd64-2.7\boolexpr
    copying boolexpr\misc.py -> build\lib.win-amd64-2.7\boolexpr
    copying boolexpr\util.py -> build\lib.win-amd64-2.7\boolexpr
    copying boolexpr\wrap.py -> build\lib.win-amd64-2.7\boolexpr
    copying boolexpr\__init__.py -> build\lib.win-amd64-2.7\boolexpr
    running build_ext
    building 'boolexpr._boolexpr' extension
    creating build\temp.win-amd64-2.7
    creating build\temp.win-amd64-2.7\Release
    creating build\temp.win-amd64-2.7\Release\boolexpr
    creating build\temp.win-amd64-2.7\Release\boolexpr\third_party
    creating build\temp.win-amd64-2.7\Release\boolexpr\third_party\glucosamine
    creating build\temp.win-amd64-2.7\Release\boolexpr\third_party\glucosamine\src
    creating build\temp.win-amd64-2.7\Release\boolexpr\third_party\glucosamine\src\core
    creating build\temp.win-amd64-2.7\Release\boolexpr\src
    C:\Users\Me\AppData\Local\Programs\Common\Microsoft\Visual C++ for Python\9.0\VC\Bin\amd64\cl.exe /c /nologo /Ox /MD /W3 /GS- /DNDEBUG -DNDEBUG -Iboolexpr\include -Iboolexpr\third_party\glucosamine\src -Iboolexpr\third_party\boost-1.54.0 -Ic:\users\me\anaconda2\include -Ic:\users\me\anaconda2\PC /Tpboolexpr\third_party\glucosamine\src\core\Solver.cc /Fobuild\temp.win-amd64-2.7\Release\boolexpr\third_party\glucosamine\src\core\Solver.obj /std:c++11 /Wall
    cl : Command line warning D9002 : ignoring unknown option '/std:c++11'
    Solver.cc
    c:\users\me\appdata\local\programs\common\microsoft\visual c++ for python\9.0\vc\include\codeanalysis\sourceannotations.h(81) : warning C4820: 'vc_attributes::Pre' : '4' bytes padding added after data member 'vc_attributes::Pre::Access'
    c:\users\me\appdata\local\programs\common\microsoft\visual c++ for python\9.0\vc\include\codeanalysis\sourceannotations.h(96) : warning C4820: 'vc_attributes::Pre' : '4' bytes padding added after data member 'vc_attributes::Pre::NullTerminated'
    c:\users\me\appdata\local\programs\common\microsoft\visual c++ for python\9.0\vc\include\codeanalysis\sourceannotations.h(112) : warning C4820: 'vc_attributes::Post' : '4' bytes padding added after data member 'vc_attributes::Post::Access'
    c:\users\me\appdata\local\programs\common\microsoft\visual c++ for python\9.0\vc\include\codeanalysis\sourceannotations.h(191) : warning C4820: 'vc_attributes::PreRange' : '4' bytes padding added after data member 'vc_attributes::PreRange::Deref'
    c:\users\me\appdata\local\programs\common\microsoft\visual c++ for python\9.0\vc\include\codeanalysis\sourceannotations.h(203) : warning C4820: 'vc_attributes::PostRange' : '4' bytes padding added after data member 'vc_attributes::PostRange::Deref'
    boolexpr\third_party\glucosamine\src\core/Solver.h(57) : fatal error C1083: Cannot open include file: 'cstdint': No such file or directory
    error: command 'C:\\Users\\Me\\AppData\\Local\\Programs\\Common\\Microsoft\\Visual C++ for Python\\9.0\\VC\\Bin\\amd64\\cl.exe' failed with exit status 2

    ----------------------------------------
Command "c:\users\me\anaconda2\python.exe -u -c "import setuptools, tokenize;__file__='c:\\users\\me\\appdata\\local\\temp\\pip-install-cfs8jo\\boolexpr\\setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" install --record c:\users\me\appdata\local\temp\pip-record-udcft4\install-record.txt --single-version-externally-managed --compile" failed with error code 1 in c:\users\me\appdata\local\temp\pip-install-cfs8jo\boolexpr\

Document basics

Python Literals need access to their Context objects

Currently, this is possible at the C level, but not at the Python level.

Also, a literal should probably have a get_name method to retrieve its name from the parent context.

Impossible to complete all the actions to install boolexpr [http://www.boolexpr.org/]

Subject : Impossible to complete all the actions to install boolexpr [http://www.boolexpr.org/]

Problem

I am trying to install boolexpr (boolexpr.org) on my laptop Intel Atom CPU running in amd64. Following line per line the README.rst at the time of executing make pyhtml which is the last line of Build Documentation after typing pip install sphinx on the command line I get an « Exception occurred » in the middle of the execution.

I already posted this message in issues sphinx, but the problem most likely comes from boolexpr.
Yesterday, I tried with python2.
The current attempt results from a modification of the install scrypt to call python3.

My OS version : Ubuntu 15.04.

Procedure to reproduce the problem

Path command line :
In /home/kevin/download/boolexpr/build
Command line :
make pyhtml

Error logs / results

kevin@caspian:~/boolexpr/build$ make pyhtml
[...]
copying build/lib.linux-x86_64-2.7/boolexpr/_boolexpr.so -> boolexpr
running build_sphinx
creating /home/kevin/boolexpr/build/python/build/sphinx
creating /home/kevin/boolexpr/build/python/build/sphinx/doctrees
creating /home/kevin/boolexpr/build/python/build/sphinx/html
Running Sphinx v1.6.2

Exception occurred:
  File "/home/kevin/boolexpr/build/python/boolexpr/__init__.py", line 65, in <module>
    import importlib.util
ImportError: No module named util
The full traceback has been saved in /tmp/sphinx-err-7KQ4_h.log, if you want to report the issue to the developers.
Please also report this if it was a user error, so that a better error message can be provided next time.
A bug report can be filed in the tracker at <https://github.com/sphinx-doc/sphinx/issues>. Thanks!
python/CMakeFiles/pyhtml.dir/build.make:49: recipe for target 'python/CMakeFiles/pyhtml' failed
make[3]: *** [python/CMakeFiles/pyhtml] Error 1
CMakeFiles/Makefile2:176: recipe for target 'python/CMakeFiles/pyhtml.dir/all' failed
make[2]: *** [python/CMakeFiles/pyhtml.dir/all] Error 2
CMakeFiles/Makefile2:184: recipe for target 'python/CMakeFiles/pyhtml.dir/rule' failed
make[1]: *** [python/CMakeFiles/pyhtml.dir/rule] Error 2
Makefile:188: recipe for target 'pyhtml' failed
make: *** [pyhtml] Error 2

The content of the file mentionned above is present below :

# Sphinx version: 1.6.2
# Python version: 2.7.9 (CPython)
# Docutils version: 0.13.1 release
# Jinja2 version: 2.9.6
# Last messages:

# Loaded extensions:
Traceback (most recent call last):
  File "/home/kevin/.local/lib/python2.7/site-packages/sphinx/setup_command.py", line 191, in run
    warningiserror=self.warning_is_error)
  File "/home/kevin/.local/lib/python2.7/site-packages/sphinx/application.py", line 168, in __init__
    confoverrides or {}, self.tags)
  File "/home/kevin/.local/lib/python2.7/site-packages/sphinx/config.py", line 150, in __init__
    execfile_(filename, config)
  File "/home/kevin/.local/lib/python2.7/site-packages/sphinx/util/pycompat.py", line 150, in execfile_
    exec_(code, _globals)
  File "/home/kevin/.local/lib/python2.7/site-packages/six.py", line 699, in exec_
    exec("""exec _code_ in _globs_, _locs_""")
  File "<string>", line 1, in <module>
  File "conf.py", line 24, in <module>
  File "/home/kevin/boolexpr/build/python/boolexpr/__init__.py", line 65, in <module>
    import importlib.util
ImportError: No module named util

Environment info

OS: Ubuntu 15.04 this is the output of /etc/issue
Python version: 2.7.9 this is the output of python -V
Sphinx version: 2.0.4 –id64-release (r3135) this is the output of searchd --help

error_log_with_python_2.txt
error_log_with_python3.txt

Release 2.0 check list

Document new array types
Document various other new things (eg, mux)
Get coverage up to about 95%

AttributeError: 'module' object has no attribute 'util'

Since the pip install didn't immediately work, I built it locally, but had this problem after using build/python/setup.py to install boolexpr. Is this a python version error, or did I miss something else?

Python 3.4.3 (default, Aug 16 2015, 15:52:11) 
[GCC 4.9.2] on linux
Type "help", "copyright", "credits" or "license" for more information.
>>> import boolexpr as bx
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
  File "/usr/lib64/python3.4/site-packages/boolexpr-2.3-py3.4-linux-x86_64.egg/boolexpr/__init__.py",
 line 275, in <module>                                                                              
    _spec = importlib.util.find_spec("boolexpr._boolexpr")
AttributeError: 'module' object has no attribute 'util'

Using C++ API to initialize a boolean variable/expression to value 0 or 1

Hello cjdrake,
I'm trying to use the C++ API. Are there any examples out there to show c++ API usage?

To start off I wanted to create a variable and assign it a 0 or 1 value, something like:
Variable x = One; or perhaps
var_t x = One;
Above is possible using python API. How do we do it in C++?
Thank you.

Using boolexpr

Salutations,
I fail at using boolexpr :(.
Could you please provide a working compiling line that don't get any error or undefined reference?
here is what I got but there is an undefined reference.

cd boolexpr
g++ -std=c++11 -Wall -g -lm -L build/libboolexpr.a -I third_party/boost-1.54.0/ -I third_party/glucosamine/src/ -I. -I include/boolexpr/ example.c

here is the example.c :
`#include <stdbool.h>
#include <boolexpr.h>

int main(void)
{
void *ctx;

ctx = boolexpr_Context_new();

return (0);
}

I get an undefined reference to bool_expr_Context_new

Use cmake for build

Right now I'm using a pretty simple Makefile. I've always thought it would be cool to use cmake, since it seems pretty useful and popular.

Implement ANF transformation

ANF = algebraic normal form.

AttributeError: 'module' object has no attribute 'util'

I am studying GSM sniffing and want to go the grgsm_livemon on ubuntu terminal and I have some problems. That is:
~$ grgsm_livemon
linux; GNU C++ version 5.4.0 20160609; Boost_105800; UHD_003.010.002.000-release

Traceback (most recent call last):
File "/usr/local/bin/grgsm_livemon", line 380, in
main()
File "/usr/local/bin/grgsm_livemon", line 368, in main
tb = top_block_cls(args=options.args, collector=options.collector, collectorport=options.collectorport, fc=options.fc, gain=options.gain, osr=options.osr, ppm=options.ppm, samp_rate=options.samp_rate, serverport=options.serverport, shiftoff=options.shiftoff)
File "/usr/local/bin/grgsm_livemon", line 66, in init
qtgui.util.check_set_qss()
AttributeError: 'module' object has no attribute 'util'

How to involve them?
Please help me!
Thanks,

Implement smoothing/consensus/derivative

cofactor iteration
std::accumulate with std::bit_or, etc

Implement TravisCI hook

Implement Python wrapper

Leaning towards using pybind11 for this.

Implement MDA in C++

TODO:

Require 100% coverage to pass unit tests

I think it's important to set a high standard for this early on. The basic infrastructure for unit testing and code coverage is in place, but it needs a lot of work.

Update unit test suite to achieve 100% line/function/branch coverage
Parse lcov output file
Return false when make cover detects less than 100% coverage

Variable naming/ordering from run to run

Hello cjdrake,
If I take an input equation and perform tseytin cnf transform, this final cnf will have extra variables introduced. For the same input question, if I repeat the transform, I noticed that the output differs from run to run. It's likely that all the outputs are logically equivalent.
I wanted your take/understanding on what to expect. Can you please comment?

To rephrase-
will the outputs be "identical" from run to run or they are just guaranteed to be logically equivalent wherein the variable naming differs. by "identical" the terms can be in different order - however everything else such as variable naming - will it be identical?

For e.g.,
AND(v, ~v_1, v_2) is not physically identical to AND(v, ~v_2, v_1) where v_2 & v_1 are v_2 are newly introduced variables for tseytin. In the second case the variable naming has changed (non-deterministic, although there is logical equivalence)

Thanks.

CFFI sat

Hello,
Im trying to use the sat function in c, however it seem that something go wrong each time I try to use it.

int main(void)
{
	void *ctx;
	void *a;
	void *b;
	void *c;
	uint8_t *str;
	void *bxs[4];
	void *bx_sat;

	bx_sat = NULL;

	/**
	 *		init
	 */
	ctx = boolexpr_Context_new();
	a = (void*)boolexpr_Context_get_var(ctx,"b");
	b = (void*)boolexpr_Context_get_var(ctx,"a");
	bxs[0] = b;
	bxs[1] = a;

	c = (void*)boolexpr_xor(2,(BXS)bxs);

	bx_sat = (void *)boolexpr_BoolExpr_sat(c);
	//	boolexpr_BoolExpr_del(bx_sat);
	boolexpr_String_del((STRING)str);
	boolexpr_BoolExpr_del((BX)a);
	boolexpr_BoolExpr_del((BX)b);
	boolexpr_BoolExpr_del((BX)c);

        return 0;
}

Does the boolexpr_BoolExpr_sat() function need a certain type of expression ?

Complete CFFI basics

Need to round out the CFFI layer with BoolExpr methods that have rich return data types.

Tseytin transform on CNF results in increased formula size

Example:

>>> onehot(*X[:4]).size()
24
>>> onehot(*X[:4]).tseytin(ctx).size()
110

The transformation should first check whether the input is a CNF, and if so, just return it.

Installation error

$ pip install boolexpr

Collecting boolexpr
  Using cached boolexpr-2.3.zip
    Complete output from command python setup.py egg_info:
    Traceback (most recent call last):
      File "<string>", line 1, in <module>
      File "/tmp/pip-build-ud7he4ld/boolexpr/setup.py", line 25, in <module>
        with open(join("/home/cjdrake/Downloads/src/github.com/cjdrake/boolexpr", "README.rst")) as fin:
    FileNotFoundError: [Errno 2] No such file or directory: '/home/cjdrake/Downloads/src/github.com/cjdrake/boolexpr/README.rst'

    ----------------------------------------
Command "python setup.py egg_info" failed with error code 1 in /tmp/pip-build-ud7he4ld/boolexpr/

Add Doxygen docs to webpage

I cannot install the library for python 3.7

After I published this issue 3 days ago #36. And I got a reply which I figure it means that I should try install it for python 3 instead. I uninstalled Python 2 and reinstalled Python 3 and I ran the command again with Anaconda Prompt (Because it doesn't work in Command Prompt) and the problem remains unsolved. This is what I get:

(base) C:\Users\Me>pip install boolexpr
Collecting boolexpr
  Using cached https://files.pythonhosted.org/packages/f3/f4/923dd0954228f85ed219da453bbedfdae21ecab4f0683d164fb50e1b4165/boolexpr-2.4.tar.gz
Requirement already satisfied: cffi>=1.5.0 in c:\users\me\anaconda3\lib\site-packages (from boolexpr) (1.11.5)
Requirement already satisfied: pycparser in c:\users\me\anaconda3\lib\site-packages (from cffi>=1.5.0->boolexpr) (2.19)
Building wheels for collected packages: boolexpr
  Running setup.py bdist_wheel for boolexpr ... error
  Complete output from command C:\Users\Me\Anaconda3\python.exe -u -c "import setuptools, tokenize;__file__='C:\\Users\\Me\\AppData\\Local\\Temp\\pip-install-d7w3dks_\\boolexpr\\setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" bdist_wheel -d C:\Users\Me\AppData\Local\Temp\pip-wheel-72a29tc8 --python-tag cp37:
  running bdist_wheel
  running build
  running build_py
  creating build
  creating build\lib.win-amd64-3.7
  creating build\lib.win-amd64-3.7\boolexpr
  copying boolexpr\misc.py -> build\lib.win-amd64-3.7\boolexpr
  copying boolexpr\util.py -> build\lib.win-amd64-3.7\boolexpr
  copying boolexpr\wrap.py -> build\lib.win-amd64-3.7\boolexpr
  copying boolexpr\__init__.py -> build\lib.win-amd64-3.7\boolexpr
  running build_ext
  building 'boolexpr._boolexpr' extension
  error: Microsoft Visual C++ 14.0 is required. Get it with "Microsoft Visual C++ Build Tools": https://visualstudio.microsoft.com/downloads/

  ----------------------------------------
  Failed building wheel for boolexpr
  Running setup.py clean for boolexpr
Failed to build boolexpr
Installing collected packages: boolexpr
  Running setup.py install for boolexpr ... error
    Complete output from command C:\Users\Me\Anaconda3\python.exe -u -c "import setuptools, tokenize;__file__='C:\\Users\\Me\\AppData\\Local\\Temp\\pip-install-d7w3dks_\\boolexpr\\setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" install --record C:\Users\Me\AppData\Local\Temp\pip-record-eh9ko1pa\install-record.txt --single-version-externally-managed --compile:
    running install
    running build
    running build_py
    creating build
    creating build\lib.win-amd64-3.7
    creating build\lib.win-amd64-3.7\boolexpr
    copying boolexpr\misc.py -> build\lib.win-amd64-3.7\boolexpr
    copying boolexpr\util.py -> build\lib.win-amd64-3.7\boolexpr
    copying boolexpr\wrap.py -> build\lib.win-amd64-3.7\boolexpr
    copying boolexpr\__init__.py -> build\lib.win-amd64-3.7\boolexpr
    running build_ext
    building 'boolexpr._boolexpr' extension
    error: Microsoft Visual C++ 14.0 is required. Get it with "Microsoft Visual C++ Build Tools": https://visualstudio.microsoft.com/downloads/

    ----------------------------------------
Command "C:\Users\Me\Anaconda3\python.exe -u -c "import setuptools, tokenize;__file__='C:\\Users\\Me\\AppData\\Local\\Temp\\pip-install-d7w3dks_\\boolexpr\\setup.py';f=getattr(tokenize, 'open', open)(__file__);code=f.read().replace('\r\n', '\n');f.close();exec(compile(code, __file__, 'exec'))" install --record C:\Users\Me\AppData\Local\Temp\pip-record-eh9ko1pa\install-record.txt --single-version-externally-managed --compile" failed with error code 1 in C:\Users\Me\AppData\Local\Temp\pip-install-d7w3dks_\boolexpr\

when i use boolexpr ,error occured

Exception ignored in: <object repr() failed>
Traceback (most recent call last):
File "/usr/local/lib/python3.5/dist-packages/boolexpr/wrap.py", line 367, in del
AttributeError: 'NoneType' object has no attribute 'boolexpr_BoolExpr_del'
Exception ignored in: <bound method Context.del of <boolexpr.wrap.Context object at 0x7feb2410a4e0>>
Traceback (most recent call last):
File "/usr/local/lib/python3.5/dist-packages/boolexpr/wrap.py", line 295, in del
AttributeError: 'NoneType' object has no attribute 'boolexpr_Context_del'
Exception ignored in: <object repr() failed>
Traceback (most recent call last):
File "/usr/local/lib/python3.5/dist-packages/boolexpr/wrap.py", line 367, in del
AttributeError: 'NoneType' object has no attribute 'boolexpr_BoolExpr_del'

Improve the performance of flattening algorithm

Use implicant table for 2-level form
Optimize absorption
Don't use NNF conversion on XOR

Exception ignored in: <bound method Context.__del__ of <boolexpr.wrap.Context object at 0x7ffff2dc1400>>                                                                                             
Traceback (most recent call last):
  File "/usr/lib64/python3.4/site-packages/boolexpr/wrap.py", line 295, in __del__
AttributeError: 'NoneType' object has no attribute 'boolexpr_Context_del'
Exception ignored in: Exception ignored in: Exception ignored in: Exception ignored in: <bound method Context.__del__ of <boolexpr.wrap.Context object at 0x7ffff1a68d30>>                           
Traceback (most recent call last):
  File "/usr/lib64/python3.4/site-packages/boolexpr/wrap.py", line 295, in __del__
AttributeError: 'NoneType' object has no attribute 'boolexpr_Context_del'

The boolexpr_Context_del method is only called on object destruction, so we need to investigate the robustness of the C++/Python layer for handling Context objects.