-
Notifications
You must be signed in to change notification settings - Fork 1
Trainable SAT Solver Library.
License
joseluisquiroga/ben-jose
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
README.txt ------------------------------------------------------------ WEB-SITE: https://ben-jose.github.io/ ------------------------------------------------------------ This file is part of ben-jose. ben-jose is free software: you can redistribute it and/or modify it under the terms of the version 3 of the GNU General Public License as published by the Free Software Foundation. ben-jose is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with ben-jose. If not, see <http://www.gnu.org/licenses/>. ------------------------------------------------------------ Copyright (C) 2007-2012, 2014-2016. QUIROGA BELTRAN, Jose Luis. Id (cedula): 79523732 de Bogota - Colombia. email: JoseLuisQuiroga@yahoo.com ben-jose is free software thanks to The Glory of Our Lord Yashua Melej Hamashiaj. Our Resurrected and Living, both in Body and Spirit, Prince of Peace. ------------------------------------------------------------ Trainable SAT Solver Library for dimacs-cnf files. INSTALL INSTRUCTIONS in: https://ben-jose.github.io/ ------------------------------------------------------------
About
Trainable SAT Solver Library.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published