commit 2f35b69e443c2fef9160e6d5037b1075adf69da4
Author: Mike Sarahan <msarahan@gmail.com>
Date:   Thu Mar 7 14:57:25 2019 -0600

    fix up bad merge

commit 6ba44c349eaa7561e6ef45ec2599c19b23de5d36
Merge: c7edd46 070676d
Author: Mike Sarahan <msarahan@gmail.com>
Date:   Thu Mar 7 14:11:24 2019 -0600

    Merge pull request #1 from AnacondaRecipes/split
    
    Split

commit 070676de128cfd14a449e35770ad4ba9dd225f05
Merge: b1bbbd5 0000875
Author: Mike Sarahan <msarahan@gmail.com>
Date:   Fri Jan 25 15:28:57 2019 -0600

    Merge remote-tracking branch 'cf/master' into split

commit b1bbbd5dad6b0ea1ee58df6124ab56a5cbdfce94
Author: Mike Sarahan <msarahan@gmail.com>
Date:   Fri Jan 25 15:23:09 2019 -0600

    update to 5.6.6, clean up patches

commit 1951c7ae5bc7d677c9fe211ace7b924d2e026072
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Wed Oct 3 17:25:58 2018 +0200

    fixed and additional tests

commit 3e308eec0bc67c2112fb95089491a250b08ce736
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Wed Oct 3 13:16:37 2018 +0200

    pycryptosat-fix-install-path patch

commit a9aff0c9501858b4de57451a15bbda17cbb1cf9c
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Wed Oct 3 03:41:02 2018 +0200

    install to %LIBRARY_PREFIX% on Windows

commit 4c9eb7f83a65da22d95320559fbdeb487be63db8
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Wed Oct 3 02:56:57 2018 +0200

    fix libcryptominisat test on Windows

commit 972a40df50aa51312dba186f55b7053e7a5c3cdb
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Wed Oct 3 02:17:29 2018 +0200

    pycryptosat-fix-sysconfig-returns-none patch

commit 8a6483fa28ae143639d1be0f17a193762c02b7cd
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Wed Oct 3 01:32:26 2018 +0200

    trying out stuff

commit c6bf14112ceb0f6b415af1478b078c7025cf228c
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Wed Oct 3 00:37:13 2018 +0200

    win32-remove-runtime_library_dirs patch

commit 27d7073a198402c619bf090cb3a4ac0294a979c6
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Tue Oct 2 18:39:06 2018 +0200

    fix nonsense in "pycryptosat-remove-quote-from-macro"

commit b933cbe35119aa657f97d5977bc52d64f0c35e3d
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Tue Oct 2 17:55:05 2018 +0200

    pycryptosat: patch to remove quotes from LIBRARY_VERSION

commit 82d3d0f94abfa814ff288967c4940b408ceccdcc
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Tue Oct 2 14:57:53 2018 +0200

    pycryptosat: missing "#include <algorithm>" patch

commit 1b372ed31beffaac8b93cafe3139a9eaaeac9d3e
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Tue Oct 2 14:49:40 2018 +0200

    win32-disable-autolinking patch

commit 1dd7a455a7e38c03707d5c5269ed343b49e9a435
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Mon Oct 1 21:12:03 2018 +0200

    remove debug flag on Windows for RelWithDebInfo

commit 77aa421991050f2bd20ce57d3cf3f6078329fd59
Author: Michael Sarahan <msarahan@gmail.com>
Date:   Mon Oct 1 10:46:53 2018 -0500

    remove unnecessary /ZI patch

commit 4c5e0edc75909660033dd0c409125b5b7faf3780
Author: Michael Sarahan <msarahan@gmail.com>
Date:   Mon Oct 1 10:13:30 2018 -0500

    add bat files to help win set variables

commit 7ba55d843d29e60166ad36118697c779d8376a1e
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Sun Sep 30 14:17:34 2018 +0200

    use independent builds on Windows

commit aa8d852ee297dae294667c442acb4dcf922390e4
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Sun Sep 30 13:36:00 2018 +0200

    MNT: Re-rendered with conda-smithy 3.1.12 and pinning 2018.09.27

commit a580b53ec82275a305df31314ab4ea40cb7e5809
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Sun Sep 30 13:35:30 2018 +0200

    remove now unused conda_build_config.yaml

commit b9d21cf213b44fd74035cb53d9a2331d55fb07f1
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Sun Sep 30 13:32:04 2018 +0200

    build number bump

commit 550742dce0e6c264b1b8541f8315f9567f5aa08f
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Sun Sep 30 13:31:18 2018 +0200

    only build non-GPL variant

commit d317ff936e50fdddcc7983df3c35dee1c0e0f653
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Sun Sep 30 13:29:51 2018 +0200

    remove debug flag on Windows

commit 6af5f2b7883c1d018ca7d08a5def650d68ef6216
Author: Michael Sarahan <msarahan@gmail.com>
Date:   Thu Sep 6 12:56:45 2018 -0500

    try for some windows love

commit a8e06a8e1f97756986a7b12031c1bc6a6e3e9093
Author: Marcel Bargull <mbargull@users.noreply.github.com>
Date:   Thu Sep 6 18:55:32 2018 +0200

    really omit {{ boost }}

commit 0a4dfe3cc965111c54ec1d2aae39c4547e7f3d13
Author: Marcel Bargull <mbargull@users.noreply.github.com>
Date:   Thu Sep 6 18:53:06 2018 +0200

    omit {{ boost }}

commit 8dbc28300998b94e55d3ef8451cf0c830c04f4f5
Author: Michael Sarahan <msarahan@gmail.com>
Date:   Thu Sep 6 09:27:31 2018 -0500

    split recipe

commit c8726814c2e6be3c5351cbe67dbd113a457d697a
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Thu Sep 27 20:11:28 2018 +0200

    MNT: Re-rendered with conda-smithy 3.1.12 and pinning 2018.09.27

commit 0d79909aa32746505b7757511f22d8a37906343b
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Thu Sep 27 19:41:23 2018 +0200

    use non-Release build w/o debug symbols

commit 804db93e920cdec6b7fc17fdeadf3d08a58b40f7
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Thu Sep 27 19:39:52 2018 +0200

    parallel build

commit d662f8306c56940947cdec2b71cfa832554a955f
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Thu Sep 27 19:37:18 2018 +0200

    test solving with pycryptosat

commit f00b086e066cae36b89c89c418ee14502610295b
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Thu Sep 27 19:36:16 2018 +0200

    revert build/number workaround for conda-forge-ci-setup

commit 9dab04fd45de94d3950ea6920212ae6bd892b33b
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Thu Sep 27 19:34:17 2018 +0200

    run full build for all outputs...

commit c94795a0e356e9d800910a89118be6e69739347c
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Thu Sep 6 20:45:59 2018 +0200

    put build/number into each output

commit 186f644a9fc9ed7c2143238a97c945e2aa288623
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Thu Sep 6 20:38:30 2018 +0200

    MNT: Re-rendered with conda-smithy 3.1.12 and pinning 2018.08.31

commit b704ab51bb825754d8d9dd319c25749482ed0897
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Thu Sep 6 20:37:49 2018 +0200

    rename to cryptominisat-split

commit 46af74d896880a381e670934090a929be6ab06b5
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Thu Sep 6 20:03:21 2018 +0200

    add `skip: True` to pycryptosat output

commit b9742ff53e1a576a42fbc319af16a20596a576bc
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Thu Sep 6 20:02:36 2018 +0200

    add {{ boost }} again

commit 0aff1a721d0e8e2c666e5f684b96f7f7868ebb1c
Author: Michael Sarahan <msarahan@gmail.com>
Date:   Thu Sep 6 12:56:45 2018 -0500

    try for some windows love

commit 3b4747b598c160ebe1d5b9f62d3220f690c1a128
Author: Marcel Bargull <mbargull@users.noreply.github.com>
Date:   Thu Sep 6 18:55:32 2018 +0200

    really omit {{ boost }}

commit 289dd06978b2490b3475bdda6ecdb66239ac59b3
Author: Marcel Bargull <mbargull@users.noreply.github.com>
Date:   Thu Sep 6 18:53:06 2018 +0200

    omit {{ boost }}

commit 007ee393d352a5575a4c986f1ed8671c4b623473
Author: Michael Sarahan <msarahan@gmail.com>
Date:   Thu Sep 6 09:27:31 2018 -0500

    split recipe

commit c2c5c5555a89ec3630c0b149c0fffd58d3b0b1ea
Author: Marcel Bargull <marcel.bargull@udo.edu>
Date:   Tue Sep 4 20:49:27 2018 +0200

    only libcryptominisat+pycryptosat; avoid Boost and GPL

commit cda0565bde3c3887a59a9aa00bc1f30b0d6ca6e3
Author: regro-cf-autotick-bot <circleci@cf-graph.regro.github.com>
Date:   Tue Sep 4 22:11:17 2018 +0000

    MNT: Re-rendered with conda-smithy 3.1.12 and pinning 2018.08.31

commit 6e4a8c3074948659db3f50ee15a4ae6087ee8415
Author: regro-cf-autotick-bot <circleci@cf-graph.regro.github.com>
Date:   Tue Sep 4 22:11:10 2018 +0000

    updated v5.6.5

commit 0000875323a29a25b1a47bd7c4a7217648eb8f32
Merge: 1313678 23c7f23
Author: Mate Soos <soos.mate@gmail.com>
Date:   Sat Jan 5 15:32:16 2019 +0100

    Merge pull request #16 from xhochy/rebuild
    
    Rebuild for Python 3.7, GCC 7, R 3.5.1, openBLAS 0.3.2

commit 23c7f235ac6f46b745795b2c79b385fddf53196f
Author: Uwe L. Korn <uwelk@xhochy.com>
Date:   Sat Jan 5 03:46:04 2019 +0100

    Patch CFLAGS

commit 646a05ab9b061a189ea305493575e4fe9c6a9ea8
Author: regro-cf-autotick-bot <circleci@cf-graph.regro.github.com>
Date:   Sun Nov 25 19:14:33 2018 +0000

    MNT: Re-rendered with conda-smithy 3.1.12 and pinning 2018.11.24

commit 5b62b00f632899bd6dce809dd00970d50c5cd01c
Author: regro-cf-autotick-bot <circleci@cf-graph.regro.github.com>
Date:   Sun Nov 25 19:14:28 2018 +0000

    bump build number

commit 1313678d086da6211a00b2ee8a975633ac92d441
Merge: 04ca52b d10556c
Author: Mate Soos <soos.mate@gmail.com>
Date:   Sat Sep 8 10:08:59 2018 +0200

    Merge pull request #10 from regro-cf-autotick-bot/5.6.5
    
    cryptominisat v5.6.5

commit d10556c4805eb3dc83fce4da1357ddfe37e437bc
Author: regro-cf-autotick-bot <circleci@cf-graph.regro.github.com>
Date:   Tue Sep 4 22:11:17 2018 +0000

    MNT: Re-rendered with conda-smithy 3.1.12 and pinning 2018.08.31

commit 8a2eccb02652d005e0c86eca3524527611a9cbf5
Author: regro-cf-autotick-bot <circleci@cf-graph.regro.github.com>
Date:   Tue Sep 4 22:11:10 2018 +0000

    updated v5.6.5

commit c7edd462dc5673de7d3ab50e23e85c1cdf97f8b7
Author: Ray Donnelly <mingw.android@gmail.com>
Date:   Wed Aug 29 07:08:01 2018 +0000

    Add missed files

commit beb7ca7a10f078f508248516606c1415ea60a451
Author: Ray Donnelly <mingw.android@gmail.com>
Date:   Wed Aug 29 06:59:53 2018 +0000

    Minor fixes

commit 01b34a64478a5657d24f1da0b0de667d598038bc
Author: Ray Donnelly <mingw.android@gmail.com>
Date:   Fri Aug 24 21:13:54 2018 +0100

    Do not skip build on Windows

commit 04ca52bd972402639a34bac825fff5905633b57e
Merge: 81b1d84 0e66a41
Author: Mate Soos <soos.mate@gmail.com>
Date:   Mon Aug 6 23:40:29 2018 +0200

    Merge pull request #8 from regro-cf-autotick-bot/5.6.4
    
    cryptominisat v5.6.4

commit 0e66a411ff418a9ad92257f20c765eef381ed306
Author: regro-cf-autotick-bot <circleci@cf-graph.regro.github.com>
Date:   Sun Aug 5 14:14:43 2018 +0000

    MNT: Re-rendered with conda-smithy 3.1.10 and pinning 2018.07.24

commit 0cedb75755bb96096007f050b05e6c5dfe551dae
Author: regro-cf-autotick-bot <circleci@cf-graph.regro.github.com>
Date:   Sun Aug 5 14:14:37 2018 +0000

    updated v5.6.4

commit 81b1d8468e5235292918c99bcb51a4526cd13c6d
Author: Travis CI User <travis@example.org>
Date:   Sat Aug 4 18:54:01 2018 +0000

    [ci skip] [skip ci] Update anaconda token

commit 64e8c1afabf585a889ad05e82c302fdde653b2ca
Merge: 6608344 f1be402
Author: Mate Soos <soos.mate@gmail.com>
Date:   Tue Jun 12 14:28:28 2018 +0800

    Merge pull request #7 from regro-cf-autotick-bot/5.6.3
    
    cryptominisat v5.6.3

commit f1be402c3b895212600091e75250c0f1e4bd5643
Author: Travis CI User <travis@example.org>
Date:   Mon Jun 11 17:14:07 2018 +0000

    updated v5.6.3

commit 6608344da08e262154fb7acb992bf7930783c0f9
Merge: 19d8f40 eb4c3c9
Author: Mate Soos <soos.mate@gmail.com>
Date:   Mon Jun 11 16:33:57 2018 +0800

    Merge pull request #6 from regro-cf-autotick-bot/5.6.2
    
    cryptominisat v5.6.2

commit eb4c3c92c2906c181231921e48ca93c12766f39a
Author: Travis CI User <travis@example.org>
Date:   Thu Jun 7 22:51:11 2018 +0000

    MNT: Re-rendered with conda-smithy 3.1.5 and pinning 2018.05.22

commit 5b5cf59d16fab6d13088e6e9483999eb23bff502
Author: Travis CI User <travis@example.org>
Date:   Thu Jun 7 22:51:03 2018 +0000

    updated v5.6.2

commit 19d8f40ae1b34ece6de0e5e6eca3c0a0ad9eda4b
Merge: 3fc3a64 260a34c
Author: Mate Soos <soos.mate@gmail.com>
Date:   Wed Jun 6 10:36:40 2018 +0800

    Merge pull request #5 from regro-cf-autotick-bot/5.6.1
    
    cryptominisat v5.6.1

commit 260a34c1407712a5d7a6d22f1df3a75c4c39fa27
Author: Travis CI User <travis@example.org>
Date:   Tue Jun 5 11:11:36 2018 +0000

    updated v5.6.1

commit 3fc3a647cd2ec9ecaa622a383c11f272c21d7135
Merge: cb75648 68be703
Author: Julian Rüth <julian.rueth@fsfe.org>
Date:   Fri Jun 1 04:07:55 2018 +0200

    Merge pull request #4 from regro-cf-autotick-bot/5.6.0
    
    cryptominisat v5.6.0

commit 68be70372407e38e5a6e66476c2ff25e66de680a
Author: Julian Rüth <julian.rueth@fsfe.org>
Date:   Fri Jun 1 02:10:31 2018 +0200

    Force building Python2 modules
    
    when not building for Python 3

commit 252561afa9ce83bd1aa20ee782c17d28bc2ae40a
Author: Julian Rüth <julian.rueth@fsfe.org>
Date:   Fri Jun 1 02:07:14 2018 +0200

    Pin the same version of boost-cpp
    
    I thought boost-cpp had run_exports but it doesn't.

commit 22988326c435cd22db208877ecb1a5f550abb83d
Author: Julian Rüth <julian.rueth@fsfe.org>
Date:   Fri Jun 1 02:04:20 2018 +0200

    Build python interface for 2 and 3

commit ce47c163c8151f3682594beb8173090f4e98131a
Author: Julian Rüth <julian.rueth@fsfe.org>
Date:   Fri Jun 1 02:02:00 2018 +0200

    Add run_exports
    
    for the exported library

commit 704717a7fa9fabfeec751c65e90e4c903668e82a
Merge: 4c58a59 a93be85
Author: Julian Rüth <julian.rueth@fsfe.org>
Date:   Fri Jun 1 01:51:55 2018 +0200

    Merge branch '5.6.0' of ssh://github.com/regro-cf-autotick-bot/cryptominisat-feedstock into 5.6.0

commit 4c58a594770627eb78febbb795f5fd3089802d89
Author: Julian Rüth <julian.rueth@fsfe.org>
Date:   Fri Jun 1 01:51:11 2018 +0200

    Check python bindings
    
    fixes #2

commit a93be8512a643676396e3000fba1823eb6ffd365
Author: conda-forge-admin <pelson.pub+conda-forge@gmail.com>
Date:   Thu May 31 23:49:44 2018 +0000

    MNT: Re-rendered with conda-smithy 3.1.5 and pinning 2018.05.22

commit 03593369c49693bffe5fad00d4681706083955bc
Author: Julian Rüth <julian.rueth@fsfe.org>
Date:   Fri Jun 1 01:47:59 2018 +0200

    Drop patches that are in upstream by now

commit 7f940951f45ee4543ea90b5b398a55894be38473
Author: Travis CI User <travis@example.org>
Date:   Thu May 31 11:07:20 2018 +0000

    MNT: Re-rendered with conda-smithy 3.1.5 and pinning 2018.05.22

commit 1e952f17c76084785c1361abb32aa79210485364
Author: Travis CI User <travis@example.org>
Date:   Thu May 31 11:06:36 2018 +0000

    updated v5.6.0

commit cb75648169428b333aedcbb7bda797a64712f06a
Merge: 653912c 93906f9
Author: Mate Soos <soos.mate@gmail.com>
Date:   Thu Apr 5 07:34:17 2018 +0200

    Merge pull request #3 from saraedum/cryptominisat5
    
    Only install cryptominisat5

commit 93906f90c0be9efb7a92eb062ce680f867be1230
Author: Julian Rüth <julian.rueth@fsfe.org>
Date:   Thu Apr 5 02:21:00 2018 +0300

    Correctly inspect package
    
    (the package name, not the binary name)

commit 81a0437a1950702dc27a8fd148f42bed18664060
Author: Julian Rüth <julian.rueth@fsfe.org>
Date:   Thu Apr 5 01:30:45 2018 +0300

    Only install cryptominisat5
    
    see https://github.com/msoos/cryptominisat/issues/468
    * Do not install cryptominisat5_simple. There is no reason to use it if
      cryptominisat5 is available.
    * Install cryptominisat5 without renaming it. It's intended to be called that
      by upstream.

commit 653912c0cfaf0fb7fb7bc3255d308eff712d4aaa
Author: Travis-CI on github.com/conda-forge/staged-recipes <conda-forge@googlegroups.com>
Date:   Sun Feb 18 16:12:35 2018 +0000

    Re-render the feedstock after CI registration.

commit e700a2ea627c4b9e7e309f1cb75868781f2ba247
Author: Travis-CI on github.com/conda-forge/staged-recipes <conda-forge@googlegroups.com>
Date:   Sun Feb 18 16:11:20 2018 +0000

    Initial feedstock commit with conda-smithy 2.4.5.
