Flatzingo is a lazy clause learning constraint solver to handle mostly boolean and linear constraints over finite integers. It translates the flatzinc input language into facts. The facts plus an additional encoding are then read clingcon, an ASPmCSP system. (https://www.cs.uni-potsdam.de/wv/publications/DBLP_journals/tplp/BanbaraKOS17.pdf) Clingcon is based on clingo, the ASP (Answer Set Programming) System of Potassco. It uses lazy clause learning to introduce boolean variables and constraints during the search while doing CDNL. Due to its origin, clingcon does only support a very limited set of global constraints but could easily be extended. Flatzingo was developed by Max Ostrowski (https://potassco.com/) and Sven Thiele (https://potassco.com/) while clingcon is part of https://potassco.org/ . All used tools are under MIT License and Open Source, available at: - https://github.com/potassco/flatzingo - https://github.com/potassco/clingcon - https://github.com/potassco/clingo