{ "info": { "author": "Alphan Ulusoy", "author_email": "alphan@bu.edu", "bugtrack_url": null, "classifiers": [], "description": "LTL Optimal Multi-Agent Planner (LOMAP)\nCopyright (C) 2012-2015, Alphan Ulusoy (alphan@bu.edu)\n\nThis program is free software; you can redistribute it and/or\nmodify it under the terms of the GNU General Public License\nas published by the Free Software Foundation; either version 2\nof the License, or (at your option) any later version.\n\nThis program is distributed in the hope that it will be useful,\nbut WITHOUT ANY WARRANTY; without even the implied warranty of\nMERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\nGNU General Public License for more details.\n\nYou should have received a copy of the GNU General Public License\nalong with this program; if not, write to the Free Software\nFoundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA\n02110-1301, USA.\n\nA copy of the GNU General Public License is included in this\ndistribution, in a file called 'COPYING'.\n\n----------------------------------------------------------------------\n\nLTL Optimal Multi-Agent Planner (LOMAP) is a python package for\nautomatic planning of optimal paths for multi-agent systems.\nSee the directory 'examples' (either in the source archive or in\nthe installation directory) for examples.\n\n----------------------------------------------------------------------\n\nLOMAP uses two third party programs: LTL2BA and scheck. You can\nfind their sources in this distribution, in a directory called\n'third_party_sources'. For your convenience, binaries of these\nprograms are already included in this distribution, in a folder\ncalled 'binaries'. LOMAP also includes some code that is adapted\nand/or taken from NetworkX Python package v1.6, available at\nhttp://networkx.github.io. See below for copyright notices and \nlicenses of LTL2BA, scheck, and NetworkX.\n\nLTL2BA\n------\nLTL2BA - Version 1.0 - October 2001\nWritten by Denis Oddoux, LIAFA, France\nCopyright (C) 2001 Denis Oddoux\n\nLTL2BA - Version 1.1 - August 2007\nModified by Paul Gastin, LSV, France\nCopyright (C) 2007 Paul Gastin\nAvailable at http://www.lsv.ens-cachan.fr/~gastin/ltl2ba\n\nThis program is free software; you can redistribute it and/or modify\nit under the terms of the GNU General Public License as published by\nthe Free Software Foundation; either version 2 of the License, or\n(at your option) any later version. GNU GPL is included in this\ndistribution, in a file called 'LICENSE'\n\nThis program is distributed in the hope that it will be useful,\nbut WITHOUT ANY WARRANTY; without even the implied warranty of\nMERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the\nGNU General Public License for more details.\n\nYou should have received a copy of the GNU General Public License\nalong with this program; if not, write to the Free Software\nFoundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA\n\nThe LTL2BA software was written by Denis Oddoux and modified by Paul\nGastin. It is based on the translation algorithm presented at CAV '01:\n P.Gastin and D.Oddoux\n \"Fast LTL to B\u00fcchi Automata Translation\"\n in 13th International Conference on Computer Aided Verification, CAV 2001,\n G. Berry, H. Comon, A. Finkel (Eds.)\n Paris, France, July 18-22, 2001,\n Proceedings - LNCS 2102, pp. 53-65\n\nSend bug-reports and/or questions to Paul Gastin\nhttp://www.lsv.ens-cachan.fr/~gastin\n\nPart of the code included is issued from the SPIN software Version 3.4.1\nThe SPIN software is written by Gerard J. Holzmann, originally as part\nof ``Design and Validation of Protocols,'' ISBN 0-13-539925-4,\n1991, Prentice Hall, Englewood Cliffs, NJ, 07632\nHere are the files that contain some code from Spin v3.4.1 : \n\n cache.c (originally tl_cache.c)\n lex.c ( tl_lex.c )\n ltl2ba.h ( tl.h )\n main.c ( tl_main.c )\n mem.c ( tl_mem.c )\n parse.c ( tl_parse.c)\n rewrt.c ( tl_rewrt.c)\n trans.c ( tl_trans.c)\n\nscheck\n------\nscheck - Version 1.2\nCopyright (C) 2003 Timo Latvala (timo.latvala@hut.fi)\nModified by Amit Bhatia, Computer Science Department, Rice University\nCopyright (C) 2011 Amit Bhatia\n\nThis program is free software; you can redistribute it and/or modify\nit under the terms of the GNU General Public License as published by\nthe Free Software Foundation; either version 2 of the License, or\n(at your option) any later version.\n\nThis program is distributed in the hope that it will be useful,\nbut WITHOUT ANY WARRANTY; without even the implied warranty of\nMERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the \nGNU General Public License for more details.\n\nYou should have received a copy of the GNU General Public License\nalong with this program; if not, write to the Free Software\nFoundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA\n\nscheck is a tool for translating safety LTL formulae to finite automata.\nThe algorithm used in the tool was presented in the paper:\n\nTimo Latvala. Efficient Model Checking of Safety Properties. In:\n T. Ball and S.K. Rajamani (eds.), Model Checking Software. 10th\n International SPIN Workshop. Volume 2648 of LNCS, pp. 74-88, Springer, 2003.\n\nThis version of scheck incorporates some changes into scheck 1.2 that \nis available for download from Timo Latvala's website. The changes were\nmade so that scheck could be compiled on newer gcc compilers. The code\ncompiles fine with gcc 4.4.5. However, please note that I am not the\noriginal developer or the current maintainer of this code. For further\ndetails, please refer to README.html.\n\nAmit Bhatia, Computer Science Department, Rice University,\nApril 7, 2011.\n\nNetworkX\n--------\nCopyright (C) 2004-2012, NetworkX Developers\nAric Hagberg \nDan Schult \nPieter Swart \nAll rights reserved.\n\nRedistribution and use in source and binary forms, with or without\nmodification, are permitted provided that the following conditions are\nmet:\n\n * Redistributions of source code must retain the above copyright\n notice, this list of conditions and the following disclaimer.\n\n * Redistributions in binary form must reproduce the above\n copyright notice, this list of conditions and the following\n disclaimer in the documentation and/or other materials provided\n with the distribution.\n\n * Neither the name of the NetworkX Developers nor the names of its\n contributors may be used to endorse or promote products derived\n from this software without specific prior written permission.\n\n\nTHIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS\n\"AS IS\" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT\nLIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR\nA PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT\nOWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,\nSPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT\nLIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,\nDATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY\nTHEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT\n(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE\nOF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.", "description_content_type": null, "docs_url": null, "download_url": "UNKNOWN", "downloads": { "last_day": -1, "last_month": -1, "last_week": -1 }, "home_page": "http://hyness.bu.edu/lomap", "keywords": null, "license": "GNU GPL", "maintainer": null, "maintainer_email": null, "name": "lomap", "package_url": "https://pypi.org/project/lomap/", "platform": "UNKNOWN", "project_url": "https://pypi.org/project/lomap/", "project_urls": { "Download": "UNKNOWN", "Homepage": "http://hyness.bu.edu/lomap" }, "release_url": "https://pypi.org/project/lomap/0.1.1.post1/", "requires_dist": null, "requires_python": null, "summary": "LTL Optimal Multi-Agent Planner (LOMAP)", "version": "0.1.1.post1" }, "last_serial": 4469930, "releases": { "0.1.1": [ { "comment_text": "", "digests": { "md5": "90ede27a577c6fe94307ad282c7a6797", "sha256": "ff5ff85a1c24851b1e1cdfde298b1f2144e0d69213ddaae37d1298541d438cb7" }, "downloads": -1, "filename": "lomap-0.1.1.tar.gz", "has_sig": false, "md5_digest": "90ede27a577c6fe94307ad282c7a6797", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 700507, "upload_time": "2012-12-05T06:19:52", "url": "https://files.pythonhosted.org/packages/87/c5/ce1bf65daf9511778e291a7a8ab6d30cdf487b7b498df9177d1581e96a2f/lomap-0.1.1.tar.gz" } ], "0.1.1.post1": [ { "comment_text": "", "digests": { "md5": "954fb1264890d669938c9737a7f44a06", "sha256": "f5fff0a7922646bd6abaff4ddbbb4af2d9a286cea9b93a662bceac65f7051fc7" }, "downloads": -1, "filename": "lomap-0.1.1.post1.tar.gz", "has_sig": false, "md5_digest": "954fb1264890d669938c9737a7f44a06", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 815052, "upload_time": "2015-04-16T14:17:33", "url": "https://files.pythonhosted.org/packages/0f/fe/85fb4177b0412af96daa93b25634f677a8ed85897c46881f86266d376af8/lomap-0.1.1.post1.tar.gz" } ] }, "urls": [ { "comment_text": "", "digests": { "md5": "954fb1264890d669938c9737a7f44a06", "sha256": "f5fff0a7922646bd6abaff4ddbbb4af2d9a286cea9b93a662bceac65f7051fc7" }, "downloads": -1, "filename": "lomap-0.1.1.post1.tar.gz", "has_sig": false, "md5_digest": "954fb1264890d669938c9737a7f44a06", "packagetype": "sdist", "python_version": "source", "requires_python": null, "size": 815052, "upload_time": "2015-04-16T14:17:33", "url": "https://files.pythonhosted.org/packages/0f/fe/85fb4177b0412af96daa93b25634f677a8ed85897c46881f86266d376af8/lomap-0.1.1.post1.tar.gz" } ] }