Search results

sat-solver

This is a simple SAT solver with a string based interface, built for easy access. It tries to parse many different commenly used syntaxes into a AST and then solves the problem, returning one or all solutions. You may also only use the AST and provide a s

• sat
• solver
• allsat
• all
• solutions
• find
• boolean
• syntax agnostic
• multi syntax
• multiple syntax
• sat parser
• parse
• ast
• sat ast

zzrv

published 1.2.4 • 4 days agopublished 1.2.4 4 days ago

is-all-reachable

Check if a list of hosts servers are all recheable.

• accessible
• all
• browser
• connected
• connectivity
• detect
• has
• host
• hosts
• internet
• is
• network
• offline
• online
• View more

kikobeats

published 1.1.3 • 7 years agopublished 1.1.3 7 years ago

shgetfilelist

Get a list of all files in a folder

• files
• all
• fs
• accessible

sharkbyteprojects

published 1.0.0 • 4 years agopublished 1.0.0 4 years ago