_            _    _        _         _
      /\ \         /\ \ /\ \     /\_\      / /\
      \_\ \       /  \ \\ \ \   / / /     / /  \
      /\__ \     / /\ \ \\ \ \_/ / /     / / /\ \__
     / /_ \ \   / / /\ \ \\ \___/ /     / / /\ \___\
    / / /\ \ \ / / /  \ \_\\ \ \_/      \ \ \ \/___/
   / / /  \/_// / /   / / / \ \ \        \ \ \
  / / /      / / /   / / /   \ \ \   _    \ \ \
 / / /      / / /___/ / /     \ \ \ /_/\__/ / /
/_/ /      / / /____\/ /       \ \_\\ \/___/ /
\_\/       \/_________/         \/_/ \_____\/

Enter the query into the form above. You can look for specific version of a package by using @ symbol like this: gcc@10.

API method:

GET /api/packages?search=hello&page=1&limit=20

where search is your query, page is a page number and limit is a number of items on a single page. Pagination information (such as a number of pages and etc) is returned in response headers.

If you'd like to join our channel webring send a patch to ~whereiseveryone/toys@lists.sr.ht adding your channel as an entry in channels.scm.


lua5.1-clingo 5.8.0
Dependencies: clingo@5.8.0 lua@5.1.5
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/
Licenses: Expat
Synopsis: Lua bindings for clingo
Description:

This package provides Lua bindings to the clingo package, making it so that you can write ASPs through Lua code.

python-clinguin 2.7.1
Propagated dependencies: python-clingo@5.8.0 python-clingo-dl@1.5.0 python-clingcon@5.2.1 python-clorm@1.6.1 python-clingexplaid@1.3.3 python-clingraph@1.1.2 python-fastapi@0.115.6 python-httpx@0.28.1 python-nbconvert@7.16.6 python-nbformat@5.10.4 python-nbsphinx@0.8.8 python-networkx@3.4.2 python-pillow@11.1.0 python-pydantic@1.10.19 python@3.11.11 python-sphinx-rtd-theme@3.0.2 python-traitlets@5.14.1 python-uvicorn@0.34.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://github.com/potassco/clinguin
Licenses: Expat
Synopsis: Clingo-based interactive UI
Description:

Clinguin is a graphical user interface toolkit for clingo, which allows user interfaces to be specified entirely as a logic program.

python-telingo 2.1.3
Propagated dependencies: python-clingo@5.8.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/
Licenses: Expat
Synopsis: Solve dynamic temporal logic programs
Description:

This package provides a system to solve dynamic temporal logic programs based on clingo.

python-clingraph 1.1.2
Dependencies: dot2tex@2.11.3 graphviz@7.0.1
Propagated dependencies: python-clingo@5.8.0 python-clorm@1.6.1 python-graphviz@0.20.3 python-imageio@2.36.1 python-jinja2@3.1.2 python-jsonschema@4.23.0 python-networkx@3.4.2 python-setuptools@80.9.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://github.com/potassco/clingraph
Licenses: Expat
Synopsis: Visualizer for graphs defined as logic programs
Description:

This package provides a clingo-based visualizer for graphs defined as logic programs.

clingo-lpx 1.3.0
Dependencies: clingo@5.8.0 flint@3.2.1
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://github.com/potassco/clingo-lpx
Licenses: Expat
Synopsis: Simplex solver
Description:

Clingo-LPX is an extension to Clingo that models constraints and goals over linear (in)equations.

clingcon 5.2.1
Dependencies: clingo@5.8.0 wide-integer@0-1314.22b8428
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/clingcon
Licenses: Expat
Synopsis: Constraint answer set solver
Description:

Clingcon is an answer set solver for constraint logic It extends Clingo with constraint solving capacities for constraints over finite domain integer variables, using techniques from the area of SMT, like conflict-driven learning and theory propagation.

python-asprin 3.1.1-1.bc5a0cf
Dependencies: clingo@5.8.0
Propagated dependencies: python-clingo@5.8.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/
Licenses: Expat
Synopsis: Optimization in Answer Set Programming
Description:

asprin is a general framework for optimization in ASP, that allows for computing optimal stable models of logic programs by means of preferences. Some preference types are already predefined, but more can be added as logic programs.

libpotassco 0.0-3.2eecf5f
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/
Licenses: Expat
Synopsis: Utility library for Potassco's projects
Description:

libpotassco is a utility library providing functions and datatypes for

  • parsing, writing, and converting logic programs in aspif and smodels format,

  • passing information between a grounder and a solver,

  • and defining and parsing command-line options and for creating command-line applications.

Furthermore, it comes with the tool lpconvert that converts either between aspif and smodels format or to a human-readable text format.

python-plingo 1.1.0
Propagated dependencies: python-clingo@5.8.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/
Licenses: Expat
Synopsis: Solve probabilistic logic programs
Description:

This package provides a system to solve probabilistic logic programs with clingo. It can solve the reasoning tasks of finding the most probable model as well as finding all models and their probabilities.

python-clorm 1.6.1
Propagated dependencies: python-clingo@5.8.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org
Licenses: Expat
Synopsis: Object relational mapping to clingo
Description:

Clorm provides an ORM interface to the ASP solver clingo. Its goal is to make integration of clingo into Python programs easier.

python-clingo-dl 1.5.0
Dependencies: python-wrapper@3.11.11 clingo@5.8.0
Propagated dependencies: python-clingo@5.8.0 python-cffi@1.17.1
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://github.com/potassco/clingo-dl
Licenses: Expat
Synopsis: Python bindings for clingo-dl
Description:

This package allows users to add the clingo-dl propagator as a theory to clingo from Python code. It also supports running clingo-dl directly from the python command line.

clasp 3.4.0
Dependencies: libpotassco@0.0-3.2eecf5f
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/
Licenses: Expat
Synopsis: Answer set solver
Description:

clasp is an answer set solver for (extended) normal and disjunctive logic programs. The primary algorithm of clasp relies on conflict-driven nogood learning, a technique that proved very successful for satisfiability checking (SAT).

plasp 3.1.1
Dependencies: cxxopts@3.2.1 mapbox-variant@1.2.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/
Licenses: Expat
Synopsis: ASP planning tools for PDDL
Description:

plasp is a tool collection for planning in answer set programming. It supports a subset of PDDL 3.1 and SAS 3.

python-clingcon 5.2.1
Dependencies: python-wrapper@3.11.11 clingo@5.8.0 wide-integer@0-1314.22b8428
Propagated dependencies: python-clingo@5.8.0 python-cffi@1.17.1
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/clingcon
Licenses: Expat
Synopsis: Python bindings for clingcon
Description:

This package allows users to add the clingcon propagator as a theory to clingo from Python code.

python-clingexplaid 1.3.3
Propagated dependencies: python-clingo@5.8.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://github.com/potassco/clingo-explaid
Licenses: Expat
Synopsis: Develop explanation systems with Clingo
Description:

This package provides tools to develop explanation systems with clingo. It allows extracting minimal unsatisfiable subsets and unsatisfiable constraints.

lua5.2-clingo 5.8.0
Dependencies: clingo@5.8.0 lua@5.2.4
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/
Licenses: Expat
Synopsis: Lua bindings for clingo
Description:

This package provides Lua bindings to the clingo package, making it so that you can write ASPs through Lua code.

python-clingox 1.2.1
Propagated dependencies: python-clingo@5.8.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/clingo
Licenses: Expat
Synopsis: Auxiliary functions for Clingo
Description:

This package provides additional functions to go along with the Python bindings for Clingo.

clingo 5.8.0
Dependencies: catch2@3.5.3 clasp@3.4.0 libpotassco@0.0-3.2eecf5f
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/
Licenses: Expat
Synopsis: Grounder and solver for logic programs
Description:

Clingo computes answer sets for a given logic program.

clingo-dl 1.5.0
Dependencies: clingo@5.8.0
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://github.com/potassco/clingo-dl
Licenses: Expat
Synopsis: Solver for answer set programs modulo difference constraints
Description:

Clingo-DL is an extension to Clingo that models constraints over difference logic.

python-clingo 5.8.0
Dependencies: clingo@5.8.0 python-wrapper@3.11.11
Propagated dependencies: python-cffi@1.17.1
Channel: guix
Location: gnu/packages/potassco.scm (gnu packages potassco)
Home page: https://potassco.org/
Licenses: Expat
Synopsis: Python bindings for clingo
Description:

This package provides Python bindings to the clingo package, making it so that you can write ASPs through Python code.

apcupsd 3.14.14
Dependencies: libusb@1.0.25 libusb-compat@0.1.8
Channel: guix
Location: gnu/packages/power.scm (gnu packages power)
Home page: http://www.apcupsd.org
Licenses: GPL 2
Synopsis: Daemon for controlling APC UPSes
Description:

apcupsd can be used for power management and controlling most of APC’s UPS models. apcupsd works with most of APC’s Smart-UPS models as well as most simple signalling models such a Back-UPS, and BackUPS-Office.

fmt 8.1.1
Channel: guix
Location: gnu/packages/pretty-print.scm (gnu packages pretty-print)
Home page: https://fmt.dev
Licenses: FreeBSD Modified BSD Python Software Foundation License
Synopsis: Small and fast C++ formatting library
Description:

fmt (formerly cppformat) is a formatting library for C++. It can be used as a safe alternative to printf or as a fast alternative to IOStreams.

trueprint 5.4
Channel: guix
Location: gnu/packages/pretty-print.scm (gnu packages pretty-print)
Home page: https://www.gnu.org/software/trueprint/
Licenses: GPL 2
Synopsis: Pretty-print C sources and other plain text to PostScript
Description:

GNU Trueprint translates C source code files as PostScript files. In addition to the basic source code output, it can also perform diff-marking, indentation counting, function and file indices and more.

enscript 1.6.6
Channel: guix
Location: gnu/packages/pretty-print.scm (gnu packages pretty-print)
Home page: https://www.gnu.org/software/enscript/
Licenses: GPL 3+
Synopsis: Generating PostScript, including pretty-printing
Description:

GNU Enscript is a program to convert ASCII text files to PostScript, HTML or RTF formats, to be stored in files or sent immediately to a printer. It also includes the capability to perform syntax highlighting for several different programming languages.

Page: 12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220122112221223122412251226122712281229123012311232123312341235123612371238123912401241124212431244124512461247124812491250125112521253125412551256125712581259126012611262126312641265126612671268126912701271127212731274127512761277127812791280128112821283128412851286128712881289129012911292129312941295129612971298129913001301130213031304130513061307130813091310131113121313131413151316131713181319132013211322132313241325132613271328132913301331133213331334133513361337133813391340134113421343134413451346134713481349135013511352135313541355135613571358135913601361136213631364136513661367136813691370137113721373137413751376137713781379138013811382138313841385138613871388138913901391139213931394139513961397139813991400140114021403140414051406140714081409141014111412141314141415141614171418141914201421142214231424142514261427142814291430143114321433143414351436143714381439144014411442144314441445144614471448144914501451145214531454145514561457145814591460146114621463146414651466146714681469147014711472147314741475147614771478147914801481148214831484148514861487148814891490149114921493149414951496149714981499150015011502150315041505150615071508150915101511151215131514151515161517151815191520152115221523152415251526152715281529153015311532153315341535153615371538153915401541154215431544154515461547154815491550155115521553155415551556155715581559156015611562156315641565156615671568156915701571157215731574157515761577157815791580158115821583158415851586158715881589159015911592159315941595159615971598159916001601160216031604160516061607160816091610161116121613161416151616161716181619162016211622162316241625162616271628162916301631163216331634163516361637163816391640164116421643164416451646164716481649165016511652165316541655165616571658165916601661166216631664166516661667166816691670167116721673167416751676167716781679168016811682168316841685168616871688168916901691169216931694169516961697169816991700170117021703170417051706170717081709171017111712171317141715171617171718171917201721172217231724172517261727172817291730173117321733173417351736173717381739174017411742174317441745174617471748174917501751175217531754175517561757175817591760176117621763176417651766176717681769177017711772177317741775177617771778177917801781178217831784178517861787178817891790179117921793179417951796179717981799180018011802180318041805180618071808180918101811181218131814181518161817181818191820182118221823182418251826182718281829183018311832183318341835183618371838183918401841184218431844184518461847184818491850185118521853185418551856185718581859186018611862186318641865186618671868186918701871187218731874187518761877187818791880
Total results: 45109