sat4j - A library of SAT solvers written in Java

Property Value
Distribution Mageia 6.1
Repository Mageia Core x86_64
Package name sat4j
Package version 2.3.5
Package release 9.mga6
Package architecture noarch
Package type rpm
Installed size 554.89 KB
Download size 509.91 KB
Official Mirror
The aim of the SAT4J library is to provide an efficient library of SAT
solvers in Java. The SAT4J library targets first users of SAT "black
boxes", those willing to embed SAT technologies into their application
without worrying about the details.


Package Version Architecture Repository
sat4j-2.3.5-9.mga6.noarch.rpm 2.3.5 noarch Mageia Core
sat4j - - -


Name Value
javapackages-tools -
osgi(org.sat4j.core) -


Name Value
osgi(org.sat4j.core) == 2.3.5
osgi(org.sat4j.pb) == 2.3.5
sat4j == 2.3.5-9.mga6


Type URL
Binary Package sat4j-2.3.5-9.mga6.noarch.rpm
Source Package sat4j-2.3.5-9.mga6.src.rpm

Install Howto

  1. Enable Mageia Core repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install sat4j rpm package:
    # urpmi sat4j




2016-02-24 - neoclust <neoclust> 2.3.5-9.mga6
+ Revision: 978165
- First rebuild of the java stack
- sync package sat4j with fedora
2016-02-06 - umeabot <umeabot> 2.3.5-6.mga6
+ Revision: 941942
- Mageia 6 Mass Rebuild
2014-10-15 - umeabot <umeabot> 2.3.5-5.mga5
+ Revision: 738853
- Second Mageia 5 Mass Rebuild
2014-09-16 - umeabot <umeabot> 2.3.5-4.mga5
+ Revision: 689035
- Mageia 5 Mass Rebuild
2013-10-21 - umeabot <umeabot> 2.3.5-3.mga4
+ Revision: 537657
- Mageia 4 Mass Rebuild
2013-09-27 - dmorgan <dmorgan> 2.3.5-2.mga4
+ Revision: 487422
- Rebuild against new javapackages
2013-07-16 - dmorgan <dmorgan> 2.3.5-1.mga4
+ Revision: 454966
- New version

See Also

Package Description
sax2-2.0.2-6.mga6.noarch.rpm Simple API for XML
sax2-javadoc-2.0.2-6.mga6.noarch.rpm Javadoc for sax2
saxon- Java XPath, XSLT 2.0 and XQuery implementation
saxon-demo- Demos for saxon
saxon-javadoc- Javadoc for saxon
saxon-manual- Manual for saxon
saxon-scripts- Utility scripts for saxon
saxpath-1.0-11.mga6.noarch.rpm Simple API for XPath
saxpath-javadoc-1.0-11.mga6.noarch.rpm API documentation for saxpath
sayonara-0.9.2-0.svn20161030.1.mga6.x86_64.rpm A lightweight Qt Audio player
sazanami-fonts-common-0.20040629-24.mga6.noarch.rpm Common files for Sazanami Japanese TrueType fonts
sazanami-gothic-fonts-0.20040629-24.mga6.noarch.rpm Sazanami Gothic Japanese TrueType font
sazanami-mincho-fonts-0.20040629-24.mga6.noarch.rpm Sazanami Mincho Japanese TrueType font
sbc-1.2-4.mga6.x86_64.rpm Bluetooth SBC utilities
sbcl-1.1.14-5.mga6.x86_64.rpm Steel Bank Common Lisp compiler and runtime system