00001 /* 00002 * Copyright 2007 Martin von Gagern 00003 * 00004 * 00005 * This file is part of bande. 00006 * 00007 * bande is free software; you can redistribute it and/or modify 00008 * it under the terms of the GNU General Public License as published by 00009 * the Free Software Foundation; either version 3 of the License, or 00010 * (at your option) any later version. 00011 * 00012 * bande is distributed in the hope that it will be useful, 00013 * but WITHOUT ANY WARRANTY; without even the implied warranty of 00014 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 00015 * GNU General Public License for more details. 00016 * 00017 * You should have received a copy of the GNU General Public License 00018 * along with this program. If not, see <http://www.gnu.org/licenses/>. 00019 */ 00020 00021 00022 /** 00023 * @file 00024 * 00025 * The main() function and some documentation. 00026 */ 00027 00028 #include "bande.hh" 00029 00030 /** 00031 * Statup function. 00032 * 00033 * Command line arguments are parsed by a bande::Settings object 00034 * created for the purpose. 00035 * 00036 * @param argc the number of command line arguments. 00037 * @param argv an array of command line arguments. 00038 * @return zero if everything went well, 00039 * otherwise exit() will be called. 00040 */ 00041 int main(int argc, char** argv) { 00042 bande::Settings s; 00043 s.args(argc, argv); 00044 s.run(); 00045 return EXIT_SUCCESS; 00046 } 00047 00048 /** 00049 * @mainpage 00050 * 00051 * @section overview Overview 00052 * 00053 * @c BandE stands for <b>B</b>ranch <b>and</b> <b>E</b>numerate and 00054 * is a generic tool for finding all feasible solution of an integer 00055 * program. 00056 * 00057 * The cornerstone of this program is its bande::BranchControl class. 00058 * There a search tree is traversed in order to find all possible 00059 * solutions. 00060 * 00061 * @section History 00062 * 00063 * bande was developed by <a href="mailto:gagern@fs.tum.de">Martin von 00064 * Gagern</a> at the TU München in 2007, as part of an 00065 * interdisciplinary project on the boundary between his computer 00066 * science major and his physics minor. 00067 */
1.6.0