On Sun, 18 Mar 2018 19:58:15 +0200 Adrian Bunk <b...@debian.org> wrote: > Source: sat4j > Version: 2.3.5-0.2 > ... > [javac] > /build/1st/sat4j-2.3.5/org.sat4j.core/src/main/java/org/sat4j/tools/Backbone.java:54: > error: unmappable character (0xC3) for encoding US-ASCII > [javac] * Jo??o Marques-Silva, Mikol??s Janota, In??s Lynce: On > Computing Backbones of
There are a couple upstream commits about encoding issues: https://gitlab.ow2.org/sat4j/sat4j/commit/3e5212ca https://gitlab.ow2.org/sat4j/sat4j/commit/77920af8 Juhani
