SAT4J News

Sat4j is an open source boolean satisfaction and optimization library in Java.

[Thibault Falque @Thibault_Falque]

The new (PB-Powered) @sat4j CSP, co-written with @wallon_romain, ranked third at the mini-csp track of the #XCSP22 competition, part of the #olympicgames of @FLoC2022 and @cp_conf !

[Le Libre Éducatif @LeLibreEdu]

Les vidéos de la "Journée Du Libre Éducatif" de Lyon #JDLE2022 ont été mises en ligne, sous licence libre, par @DANE_acLyon sur l'instance #PeerTube de @academielyon
- chaîne : https://t.co/j1W9kbhceA
- liste de lecture : https://t.co/GVP3ZkacoX

[OW2 → https://fosstodon.org/@ow2 @ow2]

Coming up with next #OpenResearchWebinar @ow2 @Sat4j - the boolean satisfaction and optimization library in #Java. Register now for Tuesday, Jan. 18, 16:00 CET.
https://t.co/MSXIzI5eQ0 @ResearchEclipse

[SAT4J News @sat4j]

Register Allocation by Pseudo-Boolean Optimization https://t.co/fJaAJSFNqg

[Dave Roberts @sandhillstrat]

I've been having a great time the past couple weeks diving in #SATsolvers using @mark_engelberg's Rolling Stones library (https://t.co/KLe6KYQBP3) which wraps @sat4j. Takes getting used to remapping your problem onto the solver, but helped me with some nasty constraint problems.

[SAT4J News @sat4j]

All builds are now green after bumping a few maven plugins: https://t.co/lcKbmDTuBr

[SAT4J News @sat4j]

@sat4j is ready for @java 11
https://t.co/9takMT3rpc

[SAT4J News @sat4j]

To preserve or not to preserve invalid solutions in search-based software engineering: a case study in software product lines presented at ICSE'18 https://t.co/GZIZxmcDKB

[SAT4J News @sat4j]

Propagating Configuration Decisions with Modal Implication Graphs to be presented at ICSE 18 https://t.co/nVag6bkcfQ

[SAT4J News @sat4j]

We are reviving the getting started document on gitbooks: https://t.co/Ioj09JTzBl Do not hesitate to contribute.

[SAT4J News @sat4j]

Unexpected use of SAT4J: audio identification and analytics system to secure royalty payments for song artists https://t.co/QRE81WH4ZL

[SAT4J News @sat4j]

Sat4j 2.3.6-snapshot artifacts now available on @ow2 snapshot repository: https://t.co/cIV4yn94ze

[SAT4J News @sat4j]

A General Pluggable Type Inference Framework and its use for Data-flow Analysis

https://t.co/X5ppNj0TlR

Uses Sat4j as MaxSAT solver.

[SAT4J News @sat4j]

autoCode4: Structural Controller Synthesis, to be presented at TACAS’17 https://t.co/LOPP4x5AcH <— solves specific 2QBF with Sat4j

[SAT4J News @sat4j]

We just moved from our former @ow2 SVN repository to the new @gitlab instance hosted by OW2: https://t.co/etVscOJC3o

[SAT4J News @sat4j]

We just moved from our former @ow2 SVN repository to the new @gitlab instance hosted by OW2: https://t.co/etVscOJC3o

[XCSP Team @xcsp3]

An XCSP3 competition is coming in 2017. More details (very) soon. Get your solver ready !

[SAT4J News @sat4j]

A Clojure interface to Sat4j: https://t.co/ox4rosipKJ

[Eddú Meléndez (エドゥ) @EdduMelendez]

Bugs in open source projects, are not really bugs. They are opportunities to contribute in that project. #opensource

[SAT4J News @sat4j]

Dear users, file extension matters for Sat4j used on the command line: please use .opb for Pseudo-Boolean problems and .wcnf for MAXSAT ones