diff --git a/libclingo/clingo.h b/libclingo/clingo.h index 5aba8e409..60ffe036f 100644 --- a/libclingo/clingo.h +++ b/libclingo/clingo.h @@ -113,9 +113,9 @@ extern "C" { //! Minor version number. #define CLINGO_VERSION_MINOR 7 //! Revision number. -#define CLINGO_VERSION_REVISION 0 +#define CLINGO_VERSION_REVISION 1 //! String representation of version. -#define CLINGO_VERSION "5.7.0" +#define CLINGO_VERSION "5.7.1" //! Signed integer type used for aspif and solver literals. typedef int32_t clingo_literal_t; diff --git a/setup.py b/setup.py index 49ea219bc..0e4c62c46 100644 --- a/setup.py +++ b/setup.py @@ -7,7 +7,7 @@ site.ENABLE_USER_SITE = True setup( - version = '5.7.0', + version = '5.7.1', name = 'clingo', description = 'CFFI-based bindings to the clingo solver.', long_description = dedent('''\